|
|
@ -15,7 +15,7 @@ def __Create__():
|
|
|
|
"LifetimeSecFloat": 600.0,
|
|
|
|
"LifetimeSecFloat": 600.0,
|
|
|
|
# Client Session lifetime in seconds. after this time server will forget about this client session
|
|
|
|
# Client Session lifetime in seconds. after this time server will forget about this client session
|
|
|
|
"LifetimeRequestSecFloat": 120.0, # 1 client request lifetime in server in seconds
|
|
|
|
"LifetimeRequestSecFloat": 120.0, # 1 client request lifetime in server in seconds
|
|
|
|
"ControlPanelRefreshIntervalSecFloat": 1.5, # Interval to refresh control panels for session,
|
|
|
|
"ControlPanelRefreshIntervalSecFloat": 2.0, # Interval to refresh control panels for session,
|
|
|
|
"TechnicalSessionGUIDCache": { # TEchnical cache. Fills when web browser is requesting
|
|
|
|
"TechnicalSessionGUIDCache": { # TEchnical cache. Fills when web browser is requesting
|
|
|
|
# "SessionGUIDStr":{ # Session with some GUID str. On client session guid stored in cookie "SessionGUIDStr"
|
|
|
|
# "SessionGUIDStr":{ # Session with some GUID str. On client session guid stored in cookie "SessionGUIDStr"
|
|
|
|
# "InitDatetime": None, # Datetime when session GUID was created
|
|
|
|
# "InitDatetime": None, # Datetime when session GUID was created
|
|
|
|