diff options
author | 2011-07-11 00:53:34 +0100 | |
---|---|---|
committer | 2011-07-11 00:53:34 +0100 | |
commit | 1bae2a947fb5db183361f3cda1440d0192abec3a (patch) | |
tree | c171e681ea40c6641ff4d1bcf1792c0bd778b9ef /status.php | |
parent | Updating configurations for new-style partitioning (diff) | |
download | gentoaster-1bae2a947fb5db183361f3cda1440d0192abec3a.tar.gz gentoaster-1bae2a947fb5db183361f3cda1440d0192abec3a.tar.bz2 gentoaster-1bae2a947fb5db183361f3cda1440d0192abec3a.zip |
Added compress flag to build tool
Diffstat (limited to 'status.php')
-rw-r--r-- | status.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ } else { $result = mysql_query("SELECT returncode, result FROM builds WHERE id = '".mysql_real_escape_string($argv[1])."'"); $jobres = mysql_fetch_array($result); - if($jobres[0] != NULL) { + if($jobres[0] !== NULL) { echo "Job returned with code ".$jobres[0].": ".$jobres[1]."\n"; } else { echo "Job failed\n"; |