Merge from trunk

[plcapi.git] / plcsh

diff --git a/plcsh b/plcsh
index fed505f..209a0e0 100755 (executable)
--- a/plcsh
+++ b/plcsh
@@ -5,7 +5,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2005 The Trustees of Princeton University
 #
-# $Id: plcsh,v 1.5 2007/02/02 04:39:03 mlhuang Exp $
+# $Id$
 #
 
 import os
@@ -54,6 +54,7 @@ try:
     api = shell.api
     config = shell.config
 except Exception, err:
+    print_exc()        
     print "Error:", err
     print
     parser.print_help()