From 4a0d379346ba2663d019b3e2e5ed28d30e0008ba Mon Sep 17 00:00:00 2001
From: arun <arun@nubati.net>
Date: Sat, 3 Feb 2007 05:29:17 +0000
Subject: [PATCH] when starting a new game, games can't be selected twice
 anymore and are randomly pre-selected

---
 output.php | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/output.php b/output.php
index ef67ccc..bfebf4a 100644
--- a/output.php
+++ b/output.php
@@ -86,15 +86,26 @@ function output_ask_for_new_game($playerA,$playerB,$playerC,$playerD,$oldgameid)
 function output_form_for_new_game($names)
 {
 ?>
-    <p>Please select four players </p>
+    <p>Please select four players (or use the randomly pre-selected names)</p>
        <form action="index.php" method="post">
 <?php
   foreach( array("PlayerA","PlayerB","PlayerC","PlayerD") as $player)
   {
+    srand((float) microtime() * 10000000);
+    $randkey = array_rand($names);
+    $rand = $names[$randkey];
     echo "    Name:  <select name=\"$player\" size=\"1\" />  \n";
-     foreach($names as $name)
-      echo "     <option>$name</option>\n";
+    foreach($names as $name)
+    {
+      if($name==$rand)
+	{
+	  echo "     <option selected=\"selected\">$name</option>\n";
+	}
+      else
+	echo "     <option>$name</option>\n";
+    }
     echo "  </select>\n";
+    unset($names[$randkey]);
    }
 ?>   
 
-- 
2.25.1