Die nachfolgenden Inhalte sind nur in englischer Sprache verfügbar.
The session module provides functions for getting information about a session
Functions
Function
Parameters
Return Value
Description
get_session_user(session_id)
session_id: numerical identifier of a session
User ID for the specified session
Can raise the following exceptions:
server.SessionNotFoundException when no session with the given ID exists server.ModuleNotFoundException when no module with the given ID exists
get_session_info(session_id)
session_id: numerical identifier of a session
Returns a SessionInfo object
The SessionInfo object has the following attributes:
SessionInfo.getUser(): Get the user id, same as server.get_session_user SessionInfo.getTimeStamp(): Currently unused SessionInfo.getSessionUUID(): Unique ID that identifies a record in DT 443. SessionInfo.getStartTime(): Returns a java.sql.Timestamp instance when the session was started SessionInfo.getEndTime(): java.sql.Timestamp instance or None if the session hasn't ended yet SessionInfo.getReason(): Currently unused
Can raise the following exceptions:
server.SessionNotFoundException when no session with the given ID exists server.ModuleNotFoundException when no module with the given ID exists
