tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Remy Maucherat <r...@apache.org>
Subject Re: [VOTE] Proposed API change to the Manager interface
Date Mon, 07 Feb 2005 17:34:02 GMT
> @@ -744,15 +747,17 @@
>          session.setValid(true);
>          session.setCreationTime(System.currentTimeMillis());
>          session.setMaxInactiveInterval(this.maxInactiveInterval);
> -        String sessionId = generateSessionId();
> +        if (sessionId == null) {
> +            sessionId = generateSessionId();
> +        }

I just noticed my patch needs something for jvmRoute handling 
(basically, the session id which is recieved must be edited for the 
right route). I'll fix that.

BTW, wouldn't it be better to set the route as a separate cookie, which 
would be a lot cleaner ? Was this ever considered ?

Rémy

---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org


Mime
View raw message