diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-11-01 15:01:05 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-11-01 15:01:05 +0000 |
| commit | a2335d0700e47811cb424cc58bf7aed4a06096d5 (patch) | |
| tree | b1596f3687ecb628084e291b5ea46f20d439e94e /src/frun.php | |
| parent | 202408f9f0194c66e6ebd2ccfd30892baaaaac48 (diff) | |
| parent | 368037d4a4839d7ba701ca76b387ed18a9fa7cf3 (diff) | |
| download | boca-a2335d0700e47811cb424cc58bf7aed4a06096d5.tar.gz boca-a2335d0700e47811cb424cc58bf7aed4a06096d5.zip | |
Merge branch 'devel'
Diffstat (limited to 'src/frun.php')
| -rw-r--r-- | src/frun.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/frun.php b/src/frun.php index 5977fdf..f9b9c23 100644 --- a/src/frun.php +++ b/src/frun.php @@ -913,8 +913,8 @@ function DBNewRun($param,$c=null) { "autostdout=$oid1, autostderr=$oid2 " . "where runnumber=$runnumber and contestnumber=$contest and runsitenumber=$site", "DBNewRun(update run)"); - if(is_numeric($oldoid1)) DB_lo_unlink($c,$oldoid1); - if(is_numeric($oldoid2)) DB_lo_unlink($c,$oldoid2); + if(isset($oldoid1) && is_numeric($oldoid1)) DB_lo_unlink($c,$oldoid1); + if(isset($oldoid2) && is_numeric($oldoid2)) DB_lo_unlink($c,$oldoid2); } if($cw) DBExec($c, "commit work", "DBNewRun(commit-update)"); } |