server - session

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