else
$PREF['autosetup']='no';
+ /* Sorting */
+ $r = DB_query_array("SELECT value FROM User_Prefs".
+ " WHERE user_id='$myid' AND pref_key='sorting'" );
+ if($r)
+ $PREF['sorting'] = $r[0];
+ else
+ $PREF['sorting']='high-low';
+
return $PREF;
}
return $cards;
}
-
+function DB_played_by_others($gameid)
+{
+ $gameids = array();
+ $result = DB_query("SELECT id FROM Game WHERE randomnumbers=(SELECT randomnumbers from Game where id=$gameid) and status='gameover'");
+ while($r = DB_fetch_array($result))
+ if($r[0]!=$gameid)
+ $gameids[]=$r[0];
+ return $gameids;
+}
?>
\ No newline at end of file