<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/standard006.css" />
+ <link rel="stylesheet" type="text/css" href="css/standard008.css" />
<script type="text/javascript">
var current=0;
function hl(num) {
date_default_timezone_set($zone);
echo "<div class=\"lastlogin\">last login: ".date("r",$unixtime)."</div>\n";
- };
+ }
+ else
+ {
+ echo "\n<div class=\"status\">\n";
+ echo "<a href=\"".$INDEX."\">login</a>\n";
+ echo "</div>\n";
+ }
return;
}
<?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