diff --git a/run.py b/run.py
index 23a55d581714cf9796d047ad1d70bc63a47afb13..ea55af78a57e5686f32d3e39ff8c593595aaaca3 100755
--- a/run.py
+++ b/run.py
@@ -449,4 +449,8 @@ if __name__ == "__main__":
     engine_registry()
     which_engine = get_engine(args)
     engine = which_engine(args)
-    engine.run()
+    try:
+        engine.run()
+        sys.exit(0)
+    except:
+        sys.exit(1)