print exceptions
authorTony Mack <tmack@paris.CS.Princeton.EDU>
Fri, 14 Sep 2012 15:38:40 +0000 (11:38 -0400)
committerTony Mack <tmack@paris.CS.Princeton.EDU>
Fri, 14 Sep 2012 15:38:40 +0000 (11:38 -0400)
plcsh

diff --git a/plcsh b/plcsh
index 7bc3abe..d8ab48f 100755 (executable)
--- a/plcsh
+++ b/plcsh
@@ -64,7 +64,7 @@ try:
     api = shell.api
     config = shell.config
 except Exception, err:
-    print "Error:", err
+    print_exc()
     print
     parser.print_help()
     sys.exit(1)