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);