- if( myisset("PlayerA", "PlayerB","PlayerC","PlayerD","dullen","schweinchen","callrule" ))
+ $name = $_SESSION["name"];
+ $email = DB_get_email('name',$name);
+
+ $myid = DB_get_userid('email',$email);
+ if(!$myid)
+ return;
+
+ DB_update_user_timestamp($myid);
+ output_status();
+
+ if( !myisset("PlayerA", "PlayerB","PlayerC","PlayerD","dullen","schweinchen","callrule" ))
+ {
+ $names = DB_get_all_names();
+ echo "<div class=\"user\">\n";
+ output_form_for_new_game($names);
+ echo "</div>\n";
+ display_user_menu();
+ }
+ else