BUGFIX: reusing old randomnumbers didn't work

old numbers got reused, but more than once for the same people
should be fixed now.

diff --git a/db.php b/db.php
index 50cc3e520e1a8215c6a9bf738ba54bd83d627af2..41e4479840c474155a6bc9b71e9a87af03f647bb 100644 (file)
--- a/db.php
+++ b/db.php
@@ -797,11 +797,14 @@ function DB_get_PREF($myid)
 
 function DB_get_unused_randomnumbers($userstr)
 {
-  $queryresult = mysql_query("SELECT randomnumbers,Game.id, COUNT(*) as num FROM Game ".
-                            "  LEFT JOIN Hand ON Hand.game_id=Game.id ".
-                            "                 AND user_id not in (".$userstr.")".
-                            "  GROUP BY  Game.id ".
-                            "  HAVING num=4");
+  $queryresult = mysql_query(" SELECT randomnumbers FROM Game".
+                            "   WHERE randomnumbers NOT IN".
+                            "           (SELECT randomnumbers FROM Game".
+                            "                LEFT JOIN Hand ON Game.id=Hand.game_id".
+                            "                WHERE user_id IN  (". $userstr .")".
+                            "                GROUP BY randomnumbers".
+                            "           )");
+
   
   $r = mysql_fetch_array($queryresult,MYSQL_NUM);
   if($r)