2   require 'include/head.inc';
 
   3   require 'include/db.inc';
 
   4   require 'include/session.inc';
 
   5   require 'include/common.inc';
 
   7   if(isset($_POST['submit']) && $_POST['mnumber']!="") {
 
   8     $mnumber = trim($_POST['mnumber']);
 
   9     $password = trim($_POST['password']);
 
  11     require 'include/usercheck.inc';
 
  13     block("black", "summary for " . $_POST['mnumber']);
 
  15     if ( isset($SESSIONS_next) ) {
 
  16        print "<b>Submitted for next session on " . $SESSIONS[$SESSIONS_next]['timestr']  . "</b>";
 
  20        if($db->query("SELECT COUNT(*) FROM workdone WHERE mnumber = $mnumber AND session = $SESSIONS_next")->fetch(PDO::FETCH_NUM)[0] == 0) {
 
  21          print "<tr><td>0 (0/" . $SESSIONS[$SESSIONS_next]['nexamples'] . ")</td></tr>";
 
  24          $wdone = $db->query("SELECT thisdone,manydone FROM workdone WHERE mnumber = $mnumber AND session = $SESSIONS_next")->fetch(PDO::FETCH_NUM);
 
  25          print "<tr><td>" . $wdone[0] . " (" . $wdone[1] . "/" . $SESSIONS[$SESSIONS_next]['nexamples'] . ")</td></tr><br>";
 
  33     print "<b>Examples submitted so far</b>";
 
  38     if( isset($SESSIONS) ) {
 
  39       foreach ($SESSIONS as $session) {
 
  40         if ( isset($SESSIONS_next) ) {
 
  41           if ($session['id'] == $SESSIONS_next) { break; }
 
  44         $exdone = $db->query("SELECT thisdone, manydone FROM workdone WHERE mnumber=" . $mnumber . " AND session=" . $session['id'])->fetch(PDO::FETCH_NUM);
 
  46         if ( $exdone[1] == "" ) { $exdone[1] = "0"; }
 
  48         $tot_done = $tot_done + $exdone[1];
 
  51         print "<td>" . $session['timestr'] . "  </td>";
 
  52         print "<td>" . $session['examples'] . "(" . $session['nexamples'] . ")" . "  </td>";
 
  53         print "<td>" . $exdone[1] . "/" . $session['nexamples'] . "(" . $exdone[0] . ")" . "  </td>";
 
  58     print "<td></td><td></td><td><b>" . $tot_done . "/" . $SESSIONS_totex . "</b></td>";
 
  65     print "<b>Blackboard</b>";
 
  66     $blackdone = $db->query("SELECT blackboard FROM students WHERE mnumber=" . $mnumber)->fetch(PDO::FETCH_NUM)[0];
 
  70     for( $ib=0; $ib<$blackdone; $ib++ ) { echo " * "; }
 
  76 <form method="post" action="<?php echo $_SERVER['PHP_SELF']; ?>">
 
  77   <table bgcolor="black">
 
  78     <tr><th><b><font color="white">Summary</font></b></th><tr>
 
  83       <th align="left">Mat.nummer:</th> <th align="left"><input type="text" name="mnumber"></th>
 
  86       <th align="left">Password:</th> <th align="left"><input type="text" name="password"></th>
 
  88     <tr><th colspan=2></th></tr>
 
  91       <th align="left"><input type="submit" name="submit" value="Show"></th> <th></th>