version 1.151, 2011/12/21 21:25:40
|
version 1.152, 2012/04/11 11:40:14
|
Line 614 sub busy_wait_command {
|
Line 614 sub busy_wait_command {
|
if ($size == $last_size) { |
if ($size == $last_size) { |
$unchanged_time++; |
$unchanged_time++; |
if ($timeout && ($unchanged_time > $timeout)) { |
if ($timeout && ($unchanged_time > $timeout)) { |
print "<h1>Operation timed out!</h1>\n"; |
print '<p class="LC_error">'.&mt('Operation timed out!')."</p>\n"; |
print "<p>Executing $command, the output file $output_file did not grow\n"; |
print "<p>Executing $command, the output file $output_file did not grow\n"; |
print "after $timeout seconds. This <em>may</em> indicate $command\n"; |
print "after $timeout seconds. This <em>may</em> indicate $command\n"; |
print "is in an infinite loop.\n"; |
print "is in an infinite loop.\n"; |