updated parameters

[plcapi.git] / plcsh

diff --git a/plcsh b/plcsh
index eca7c86..d8ab48f 100755 (executable)
--- a/plcsh
+++ b/plcsh
@@ -5,8 +5,6 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2005 The Trustees of Princeton University
 #
-# $Id$
-#
 
 import os
 import sys
@@ -66,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)