Index: bin/ctest.py |
diff --git a/bin/ctest.py b/bin/ctest.py |
index 418dfaba7859684b658eaf367341cf247ce28aed..2e12293cbc5ef29eea66a57efd69828eca8074a4 100755 |
--- a/bin/ctest.py |
+++ b/bin/ctest.py |
@@ -10,6 +10,7 @@ import fileinput |
import optparse |
import os |
import sys |
+import traceback |
import urllib |
sys.path.append(os.path.join(os.path.dirname(__file__), '../lib')) |
@@ -212,4 +213,9 @@ def main(): |
if __name__ == '__main__': |
- main() |
+ try: |
+ main() |
+ except Exception: |
+ print "Got exception." |
+ traceback.print_exc(file=sys.stdout) |
+ |