Class type Wd_types.session_manager_type

class type session_manager_type = object .. end

The session manager creates new sessions, and looks sessions up in the (possibly fictive) session database

method create : dialog_type -> session_type

Creates a new session for this dialog

method unserialize : universe_type ->
       environment -> string -> session_type

Restores an old session for the passed universe and the passed environment. The string is the session in serialized form as returned by the serialize method.