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.

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge