";
-
DB_update_user_timestamp($myid);
display_user_menu();
diff --git a/output.php b/output.php
index 8dc0c2e..29fd8f3 100644
--- a/output.php
+++ b/output.php
@@ -267,7 +267,7 @@ function output_home_page($pre,$game,$done,$avgtime)
echo "$done games have been completed on this server. Average time of a game: $avgtime days
";
?>
-
Please register, in case you haven't done that yet
+
Please register, in case you have not done that yet
or login with you email-address or name and password here: