+ /* Autosetup */
+ $r = DB_query_array("SELECT value FROM User_Prefs".
+ " WHERE user_id='$myid' AND pref_key='autosetup'" );
+ if($r)
+ {
+ if($r[0]=='yes')
+ $PREF['autosetup']='yes';
+ else
+ $PREF['autosetup']='no';
+ }
+ 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';
+
+ /* Open for new games */
+ $r = DB_query_array("SELECT value FROM User_Prefs".
+ " WHERE user_id='$myid' AND pref_key='open for games'" );
+ if($r)
+ $PREF['open_for_games'] = $r[0];
+ else
+ $PREF['open_for_games']='yes';
+
+
+ return $PREF;
+}
+
+function DB_get_RULES($gameid)
+{
+ $r = DB_query_array("SELECT * FROM Rulesets".
+ " LEFT JOIN Game ON Game.ruleset=Rulesets.id ".
+ " WHERE Game.id='$gameid'" );
+
+ $RULES["dullen"] = $r[2];
+ $RULES["schweinchen"] = $r[3];
+ $RULES["call"] = $r[4];
+
+ return $RULES;