Checking if the patch (or parent) has been abandonded

And alerting user to the problem
Signed-off-by: Robert Lyon <robertl@catalyst.net.nz>

jenkins/gerrit_query.php

@@ -21,6 +21,11 @@ if ($content[0]->status == 'MERGED') {
     exit;
 }
 
+if ($content[0]->status == 'ABANDONED') {
+    echo 4;
+    exit;
+}
+
 // Check that the patch we are testing is the latest (current) patchset in series
 if ($content[0]->current_revision != $git_commit_id) {
     echo 3;

jenkins/mahara_jenkins.sh

@@ -38,6 +38,9 @@ do
         elif [ "$outcome" = "3" ]; then
             echo "The patch with git commit id $line is not the latest (current) patch"
             exit 1;
+        elif [ "$outcome" = "4" ]; then
+            echo "This patch or a parent patch has been abandoned"
+            exit 1;
         else
             echo "The patch with git commit id $line looks ok so we will continue"
         fi