2 /* make sure that we are not called from outside the scripts,
3 * use a variable defined in config.php to check this
9 /* user needs to be logged in to do this */
10 if( isset($_SESSION["name"]) )
12 $names = DB_get_all_names();
13 echo "<div class=\"user\">\n";
14 output_form_for_new_game($names);
20 echo "<div class=\"message\">Please <a href=\"$INDEX\">log in</a>.</div>";