git://git.onelab.eu
/
plcapi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d54d295
)
print exceptions
author
Tony Mack
<tmack@paris.CS.Princeton.EDU>
Fri, 14 Sep 2012 15:38:40 +0000
(11:38 -0400)
committer
Tony Mack
<tmack@paris.CS.Princeton.EDU>
Fri, 14 Sep 2012 15:38:40 +0000
(11:38 -0400)
plcsh
patch
|
blob
|
history
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)