<title>e-Doko</title>
<meta content="text/html; charset=ISO-8859-1" http-equiv="content-type" />
<link rel="shortcut icon" type="image/x-icon" href="pics/edoko-favicon.png" />
- <link rel="stylesheet" type="text/css" href="css/standard007.css" />
+ <link rel="stylesheet" type="text/css" href="css/standard008.css" />
<script type="text/javascript">
var current=0;
function hl(num) {
<?php
}
+
+function output_user_notes($userid,$gameid,$userstatus)
+{
+ echo "<div class=\"notes\"> Personal notes: <br />\n";
+ $notes = DB_get_notes_by_userid_and_gameid($userid,$gameid);
+ foreach($notes as $note)
+ echo "$note <hr />\n";
+ if($userstatus!='gameover')
+ echo "<input name=\"note\" type=\"text\" size=\"15\" maxlength=\"100\" />\n";
+ echo "</div> \n";
+
+ return;
+}
+
?>
\ No newline at end of file