- 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';
-
- /* Vacation start */
- $r = DB_query_array("SELECT value FROM User_Prefs".
- " WHERE user_id='$myid' AND pref_key='vacation start'" );
- if($r)
- $PREF['vacation_start'] = $r[0];
- else
- $PREF['vacation_start'] = NULL;
-
- /* Vacation stop */
- $r = DB_query_array("SELECT value FROM User_Prefs".
- " WHERE user_id='$myid' AND pref_key='vacation stop'" );
- if($r)
- $PREF['vacation_stop'] = $r[0];
- else
- $PREF['vacation_stop'] = NULL;
-
- /* Vacation comment */
- $r = DB_query_array("SELECT value FROM User_Prefs".
- " WHERE user_id='$myid' AND pref_key='vacation comment'" );
- if($r)
- $PREF['vacation_comment'] = $r[0];
- else
- $PREF['vacation_comment'] = "";
-