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