<?php
//Ge????? a?????p???se?? ?a? pa??µet???.
//session_cache_limiter('none');
//session_start();
//print_r($_SESSION);
//exit;
//$path = "../libraries/";

/** The configuration file.*/
//include_once $path."configuration.php";
/**Functions to perform searches*/
//include_once "module_search.php";

//error_reporting(E_ALL);
//eF_checkUser($_SESSION['s_login'], $_SESSION['s_password']);
//if (!isset($_SESSION['s_login']) || eF_checkUser($_SESSION['s_login'], $_SESSION['s_password']) != "student") {
//Must be a student
//    header("location:index.php");
//    exit;
//}

?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
<html>
<head>
    <link rel="shortcut icon" href="images/favicon.ico" >
</head>
<frameset framespacing="0" frameborder="0" border="no" id="framesetId" cols = "175, *">
  <frame name = "sideframe" src ="new_sidebar.php" scrolling="no"/>
    <?php
    if (isset($_GET['message']) && isset($_GET['message_type'])) {
        echo '<frame name = "mainframe" src ="student.php?message='.$_GET['message'].'&message_type='.$_GET['message_type'].'"/>';
    } else {
        echo '<frame name = "mainframe" src ="student.php"/>';
    }
    ?>
</frameset>
</html>