/**
* Get the session data from a user session file
* @param string $session_file The full path to the user's session file
* @param string $checksum
* @return array The user's session data
*/
function SessionData($session_file, &$checksum)
{
$gpAdmin = array();
if (file_exists($session_file)) {
require $session_file;
}
$checksum = '';
if (isset($gpAdmin['checksum'])) {
$checksum = $gpAdmin['checksum'];
}
//$gpAdmin = gpsession::gpui_defaults() + $gpAdmin; //reset the defaults
return $gpAdmin + gpsession::gpui_defaults();
}