From ba6c199fb729123009f06f0522fd29a368a3b0a0 Mon Sep 17 00:00:00 2001
From: Tony Mack <tmack@paris.CS.Princeton.EDU>
Date: Fri, 14 Sep 2012 11:38:40 -0400
Subject: [PATCH] print exceptions

---
 plcsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plcsh b/plcsh
index 7bc3abe2..d8ab48f9 100755
--- 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)
-- 
2.47.0