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 |