From 218d299e4e2ec5857577ca4ce004a448a0707a97 Mon Sep 17 00:00:00 2001
From: Chris Hulton <chris@codeclimate.com>
Date: Tue, 9 May 2017 18:10:59 -0400
Subject: [PATCH] Exit with code 1 when child process exits

---
 engine.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/engine.php b/engine.php
index d8ac2be..b72cfa2 100644
--- a/engine.php
+++ b/engine.php
@@ -38,6 +38,11 @@
 
 $results = $server->get_all_results();
 
+// If there is no output from the runner, an exception must have occurred
+if (count($results) == 0) {
+    exit(1);
+}
+
 foreach ($results as $result_file) {
     if (is_a($result_file, "Exception")) {
         exit(1);