version 1.30, 2003/09/29 13:49:31
|
version 1.36, 2003/12/29 19:01:27
|
Line 288 sub get_date_from_form {
|
Line 288 sub get_date_from_form {
|
} |
} |
if (defined($ENV{'form.'.$dname.'_hour'})) { |
if (defined($ENV{'form.'.$dname.'_hour'})) { |
my $tmphour = $ENV{'form.'.$dname.'_hour'}; |
my $tmphour = $ENV{'form.'.$dname.'_hour'}; |
if (($tmphour =~ /^\d+$/) && ($tmphour > 0) && ($tmphour < 32)) { |
if (($tmphour =~ /^\d+$/) && ($tmphour >= 0) && ($tmphour < 24)) { |
$hour = $tmphour; |
$hour = $tmphour; |
} |
} |
} |
} |
Line 311 sub get_date_from_form {
|
Line 311 sub get_date_from_form {
|
} |
} |
} |
} |
if (($year<70) || ($year>137)) { return undef; } |
if (($year<70) || ($year>137)) { return undef; } |
if (eval(&timelocal($sec,$min,$hour,$day,$month,$year))) { |
if (defined($sec) && defined($min) && defined($hour) && |
|
defined($day) && defined($month) && defined($year) && |
|
eval(&timelocal($sec,$min,$hour,$day,$month,$year))) { |
return &timelocal($sec,$min,$hour,$day,$month,$year); |
return &timelocal($sec,$min,$hour,$day,$month,$year); |
} else { |
} else { |
return undef; |
return undef; |
Line 748 sub Create_PrgWin {
|
Line 750 sub Create_PrgWin {
|
"<body bgcolor=\"#88DDFF\">". |
"<body bgcolor=\"#88DDFF\">". |
"<h4>$heading</h4>". |
"<h4>$heading</h4>". |
"<form name=popremain>". |
"<form name=popremain>". |
'<input type="text" size="55" name="remaining" value="Starting"></form>'. |
'<input type="text" size="55" name="remaining" value="'. |
|
&mt('Starting').'"></form>'. |
"</body></html>\');". |
"</body></html>\');". |
"popwin.document.close();". |
"popwin.document.close();". |
"</script>"); |
"</script>"); |
Line 783 sub Increment_PrgWin {
|
Line 786 sub Increment_PrgWin {
|
if (int ($time_est/60) > 0) { |
if (int ($time_est/60) > 0) { |
my $min = int($time_est/60); |
my $min = int($time_est/60); |
my $sec = $time_est % 60; |
my $sec = $time_est % 60; |
$time_est = $min.' minutes'; |
$time_est = $min.' '.&mt('minutes'); |
if ($min < 10) { |
if ($min < 10) { |
if ($sec > 1) { |
if ($sec > 1) { |
$time_est.= ', '.$sec.' seconds'; |
$time_est.= ', '.$sec.' '.&mt('seconds'); |
} elsif ($sec > 0) { |
} elsif ($sec > 0) { |
$time_est.= ', '.$sec.' second'; |
$time_est.= ', '.$sec.' '.&mt('second'); |
} |
} |
} |
} |
} else { |
} else { |
$time_est .= ' seconds'; |
$time_est .= ' '.&mt('seconds'); |
} |
} |
my $lasttime = &Time::HiRes::time()-$$prog_state{'laststart'}; |
my $lasttime = &Time::HiRes::time()-$$prog_state{'laststart'}; |
if ($lasttime > 9) { |
if ($lasttime > 9) { |
Line 803 sub Increment_PrgWin {
|
Line 806 sub Increment_PrgWin {
|
$lasttime = sprintf("%3.2f",$lasttime); |
$lasttime = sprintf("%3.2f",$lasttime); |
} |
} |
if ($lasttime == 1) { |
if ($lasttime == 1) { |
$lasttime = '('.$lasttime.' second for '.$extraInfo.')'; |
$lasttime = '('.$lasttime.' '.&mt('second for').' '.$extraInfo.')'; |
} else { |
} else { |
$lasttime = '('.$lasttime.' seconds for '.$extraInfo.')'; |
$lasttime = '('.$lasttime.' '.&mt('seconds for').' '.$extraInfo.')'; |
} |
} |
# |
# |
my $user_browser = $ENV{'browser.type'} if (exists($ENV{'browser.type'})); |
my $user_browser = $ENV{'browser.type'} if (exists($ENV{'browser.type'})); |
Line 819 sub Increment_PrgWin {
|
Line 822 sub Increment_PrgWin {
|
} |
} |
$r->print('<script>popwin.document.popremain.remaining.value="'. |
$r->print('<script>popwin.document.popremain.remaining.value="'. |
$$prog_state{'done'}.'/'.$$prog_state{'max'}. |
$$prog_state{'done'}.'/'.$$prog_state{'max'}. |
': '.$time_est.' remaining '.$lasttime.'";'.'</script>'); |
': '.$time_est.' '.&mt('remaining').' '.$lasttime.'";'.'</script>'); |
$$prog_state{'laststart'}=&Time::HiRes::time(); |
$$prog_state{'laststart'}=&Time::HiRes::time(); |
$r->rflush(); |
$r->rflush(); |
} |
} |
Line 832 sub Close_PrgWin {
|
Line 835 sub Close_PrgWin {
|
$r->rflush(); |
$r->rflush(); |
} |
} |
|
|
|
|
|
# ------------------------------------------------------- Puts directory header |
|
|
|
sub crumbs { |
|
my ($uri,$target,$prefix)=@_; |
|
my $output='<br /><tt><b><font size="+2">'.$prefix.'/'; |
|
if ($ENV{'user.adv'}) { |
|
my $path=$prefix; |
|
foreach (split('/',$uri)) { |
|
unless ($_) { next; } |
|
$path.='/'.$_; |
|
$output.='<a href="'.$path.'"'.($target?' target="'.$target.'"':'').'>'.$_.'</a>/'; |
|
} |
|
} else { |
|
$output.=$uri; |
|
} |
|
unless ($uri=~/\/$/) { $output=~s/\/$//; } |
|
return $output.'</font></b></tt><br />'; |
|
} |
|
|
|
|
1; |
1; |
|
|
__END__ |
__END__ |