[AWS] AWS - maintain state between server and client

[Pascal Obry]

Thomas,

> Yes, but this session cookie is expired at the end of the session,
> making it badly suited for my needs, where state needs to be kept
> *between* sessions, ie. I need "ordinary" cookies, where the expire
> attribute can be set.

I missed the *between session* :)

This is not directly supported by AWS. You could either add an expiration date
to the cookie (see AWS.Server.HTTP_Utils.Send_General_Header) or
send your own cookie for this.

Note that anyway the session data will be lost on the server if
restarted (obvious
but seems safe to state it clearly at this point). So the Web browser session
cookie will not correspond to anything on the server. But maybe you plan to
have support for persistency.

Anyway, it would probably be nice if AWS would provide a way to control the
lifetime of the session cookie! This should be easy to add...

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595