$sanity_check_ok = TRUE;
if (!isset($_SESSION['gmriSESSION']['label']) || strlen($_SESSION['gmriSESSION']['label']) == 0) {
#echo "No session label available... cannot continue. INTERNAL ERROR? ";
echo "No session label... ";
echo "Start/Resume a Session ";
$sanity_check_ok = FALSE;
} else {
//echo ("Your session label is "" . $_SESSION['gmriSESSION']['label'] . "". ");
// display a neat summary of the subject of this session
include("session_summary.php");
// load variables
$userfile = $_SESSION['gmriSESSION']['files']['userfile']['name'];
$workdir = $_SESSION['gmriSESSION']['path'];
$max_mer_level = $_SESSION['current']['max_mer_level'];
// IMPORTANT: change into the working directory
chdir($_SESSION['gmriSESSION']['path']);
} // end case there was a session label
?>