00001 <?php
00025
00026 if (empty($_SESSION['prefer_channum']))
00027 $_SESSION['prefer_channum'] = setting('WebPrefer_Channum');
00028 define('prefer_channum', $_SESSION['prefer_channum']);
00029
00030
00031 if (!$_SESSION['date_statusbar']) $_SESSION['date_statusbar'] = t('generic_date').', '.t('generic_time');
00032 if (!$_SESSION['date_scheduled']) $_SESSION['date_scheduled'] = t('generic_date').' ('.t('generic_time').')';
00033 if (!$_SESSION['date_scheduled_popup']) $_SESSION['date_scheduled_popup'] = t('generic_date');
00034 if (!$_SESSION['date_recorded']) $_SESSION['date_recorded'] = t('generic_date').' ('.t('generic_time').')';
00035 if (!$_SESSION['date_search']) $_SESSION['date_search'] = t('generic_date').', '.t('generic_time');
00036 if (!$_SESSION['date_listing_key']) $_SESSION['date_listing_key'] = t('generic_date').', '.t('generic_time');
00037 if (!$_SESSION['date_listing_jump']) $_SESSION['date_listing_jump'] = t('generic_date');
00038 if (!$_SESSION['date_channel_jump']) $_SESSION['date_channel_jump'] = t('generic_date');
00039 if (!$_SESSION['date_job_status']) $_SESSION['date_job_status'] = t('generic_date').', '.t('generic_time');
00040 if (!$_SESSION['time_format']) $_SESSION['time_format'] = t('generic_time');
00041
00042
00043 if (!isset($_SESSION['recorded_pixmaps'])) {
00044 $_SESSION['recorded_pixmaps'] = (tmpl == 'default') ? true : false;
00045 }
00046
00047
00048 if (!isset($_SESSION['guide_favonly']))
00049 $_SESSION['guide_favonly'] = false;
00050
00051
00052 if ($_SESSION['timeslot_size'] < 300) {
00053 switch (tmpl) {
00054 case 'wap': $_SESSION['timeslot_size'] = 900; break;
00055 default: $_SESSION['timeslot_size'] = 300; break;
00056 }
00057 }
00058 define('timeslot_size', $_SESSION['timeslot_size']);
00059
00060
00061 if ($_SESSION['num_time_slots'] < 3) {
00062 switch (tmpl) {
00063 case 'wap': $_SESSION['num_time_slots'] = 12; break;
00064 default: $_SESSION['num_time_slots'] = 36; break;
00065 }
00066 }
00067 define('num_time_slots', $_SESSION['num_time_slots']);
00068
00069
00070 if ($_SESSION['timeslot_blocks'] < 1)
00071 $_SESSION['timeslot_blocks'] = 3;
00072 define('timeslot_blocks', $_SESSION['timeslot_blocks']);
00073
00074
00075 if ($_SESSION['timeslotbar_skip'] < 5)
00076 $_SESSION['timeslotbar_skip'] = 20;
00077 define('timeslotbar_skip', $_SESSION['timeslotbar_skip']);
00078
00079
00080 if ($_SESSION['max_stars'] < 3)
00081 $_SESSION['max_stars'] = 4;
00082 define('max_stars', $_SESSION['max_stars']);
00083
00084
00085 if (empty($_SESSION['star_character']))
00086 $_SESSION['star_character'] = '♦';
00087 define('star_character', $_SESSION['star_character']);
00088
00089 ###############################################################################
00090 ####### Config below here has not yet been converted to session-configurable
00091 ###############################################################################
00092
00093
00094
00095 if (!isset($_SESSION['show_popup_info']))
00096 $_SESSION['show_popup_info'] = 1;
00097
00098 if (!isset($_SESSION['show_channel_icons']))
00099 $_SESSION['show_channel_icons'] = 1;
00100
00101 if (!isset($_SESSION['sortby_channum']))
00102 $_SESSION['sortby_channum'] = 1;
00103
00104
00105
00106 if (!isset($_SESSION['show_video_covers']))
00107 $_SESSION['show_video_covers'] = 1;
00108