diff options
Diffstat (limited to 'sourcecodes/runtime_check.php')
| -rw-r--r-- | sourcecodes/runtime_check.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sourcecodes/runtime_check.php b/sourcecodes/runtime_check.php index 7b468957..35c62317 100644 --- a/sourcecodes/runtime_check.php +++ b/sourcecodes/runtime_check.php @@ -9,9 +9,11 @@ function exe_time($keyval,$parent_number,$k_number) $nrf = $dir.$keyval."nrows.txt"; $nrows=trim(file_get_contents("$nrf")); +$nrows=is_numeric($nrows) ? $nrows : 0; $nf=$dir.$keyval."nnode.txt"; -$node=trim(file_get_contents("$nf"))-1; +$node=trim(file_get_contents("$nf")); +$node=(is_numeric($node) ? $node : 0)-1; $parent_number=$parent_number-1; if($parent_number>$node) { |