From bf01327cd0447d9b642250227fe74096fbb6d46a Mon Sep 17 00:00:00 2001
From: Christian Kampka <christian@kampka.net>
Date: Sat, 28 Feb 2015 12:31:11 +0100
Subject: [PATCH] Don't swallow errors in console.php

---
 console.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/console.php b/console.php
index af58aacd25..9e6240d92c 100644
--- a/console.php
+++ b/console.php
@@ -58,4 +58,5 @@ try {
 } catch (Exception $ex) {
 	echo "An unhandled exception has been thrown:" . PHP_EOL;
 	echo $ex;
+	exit(1);
 }