server_id); $_SESSION['activity']['server'][$ldapserver->server_id] = time(); $_SESSION['activity']['rightframe_server_id'] = $ldapserver->server_id; return true; } /** * Remove the session-var "lastactivity_X" set by update_lastactivity() * where X is the * ID of the server * * @param object $ldapserver The LDAPServer object of the server which the user has logged in. */ function unset_lastactivity( $ldapserver ) { if (DEBUG_ENABLED) debug_log('unset_lastactivity(): Entered with (%s)',2,$ldapserver->server_id); if (isset($_SESSION['activity']['server'][$ldapserver->server_id])) { unset($_SESSION['activity']['server'][$ldapserver->server_id]); session_write_close(); } } /** * Check if custom session timeout has been reached for server $ldapserver. * If it has: * - automatically log out user by calling unset_login_dn( $server_id ) * - if $server_id is equal to right frame $server_id, load timeout.php page in the right frame * - return true * * @param object $ldapserver The LDAPServer object of the server which the user has logged in. * @return bool true on success, false on failure. */ function session_timed_out( $ldapserver ) { if (DEBUG_ENABLED) debug_log('session_timed_out(): Entered with (%s)',2,$ldapserver->server_id); global $lang; # If session hasn't expired yet if( isset( $_SESSION[ 'activity' ]['server'][$ldapserver->server_id] ) ) { // If $session_timeout not defined, use ( session_cache_expire() - 1 ) if (! isset($ldapserver->session_timeout)) $session_timeout = session_cache_expire()-1; else $session_timeout = $ldapserver->session_timeout; // Get the $last_activity and $rightframe_server_id value $last_activity = $_SESSION['activity']['server'][$ldapserver->server_id]; $rightframe_server_id = $_SESSION['activity']['rightframe_server_id']; // If diff between current time and last activity greater than $session_timeout, log out user if ( ( time()-$last_activity ) > ( $session_timeout*60 ) ) { if( in_array($ldapserver->auth_type, array('cookie','session')) ) { syslog_notice ( "Logout for " . get_logged_in_dn( $ldapserver ) ); unset_login_dn( $ldapserver ) or pla_error( $lang['could_not_logout'] ); } // If $ldapserver->server_id equal $rightframe_server_id load timeout page on right frame if ( $ldapserver->server_id == $rightframe_server_id ) { ?>