- 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);
+
+ if( !myisset("PlayerA", "PlayerB","PlayerC","PlayerD","dullen","schweinchen","callrule","lowtrump" ))
+ {
+ /* only get players that want to be in new games */
+ $names = DB_get_all_user_names_open_for_games();
+
+ /* add player if he is not open for games */
+ if(!in_array($_SESSION["name"],$names))
+ $names[]=$_SESSION["name"];
+
+ /* add some randomness */
+ shuffle($names);
+
+ echo "<div class=\"user\">\n";
+ output_form_for_new_game($names);
+ echo "</div>\n";
+
+ display_user_menu($myid);
+ }
+ else