- if (($left_refresh == 'None') || ($left_refresh == ''))
- echo ' <OPTION VALUE="None" SELECTED>'.$none_str;
- else
- echo ' <OPTION VALUE="None">'.$none_str;
-
- if (($left_refresh == 10))
- echo ' <OPTION VALUE="10" SELECTED>10 '.$seconds_str;
- else
- echo ' <OPTION VALUE="10">10 '.$seconds_str;
-
- if (($left_refresh == 20))
- echo ' <OPTION VALUE="20" SELECTED>20 '.$seconds_str;
- else
- echo ' <OPTION VALUE="20">20 '.$seconds_str;
-
- if (($left_refresh == 30))
- echo ' <OPTION VALUE="30" SELECTED>30 '.$seconds_str;
- else
- echo ' <OPTION VALUE="30">30 '.$seconds_str;
-
- if (($left_refresh == 60))
- echo ' <OPTION VALUE="60" SELECTED>1 '.$minute_str;
- else
- echo ' <OPTION VALUE="60">1 '.$minute_str;
-
- if (($left_refresh == 120))
- echo ' <OPTION VALUE="120" SELECTED>2 '.$minutes_str;
- else
- echo ' <OPTION VALUE="120">2 '.$minutes_str;
-
- if (($left_refresh == 180))
- echo ' <OPTION VALUE="180" SELECTED>3 '.$minutes_str;
- else
- echo ' <OPTION VALUE="180">3 '.$minutes_str;
-
- if (($left_refresh == 240))
- echo ' <OPTION VALUE="240" SELECTED>4 '.$minutes_str;
- else
- echo ' <OPTION VALUE="240">4 '.$minutes_str;
-
- if (($left_refresh == 300))
- echo ' <OPTION VALUE="300" SELECTED>5 '.$minutes_str;
- else
- echo ' <OPTION VALUE="300">5 '.$minutes_str;
-
- if (($left_refresh == 420))
- echo ' <OPTION VALUE="420" SELECTED>7 '.$minutes_str;
- else
- echo ' <OPTION VALUE="420">7 '.$minutes_str;
+
+ if ($left_refresh == '')
+ $left_refresh = 'None';
+ if ($left_refresh > 600)
+ $left_refresh = 600;
+ RefreshOption($left_refresh, '', 'None', _("None"));
+ RefreshOption($left_refresh, 30);
+ RefreshOption($left_refresh, 60);
+ RefreshOption($left_refresh, 120);
+ RefreshOption($left_refresh, 180);
+ RefreshOption($left_refresh, 300);
+ RefreshOption($left_refresh, 600);
+ // Refreshes after the session auto-timeout (default 15 min) is pointless