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:
0be003a
)
fixed bug introduced when porting to py3
author
parmentelat
<thierry.parmentelat@inria.fr>
Fri, 14 Dec 2018 12:07:07 +0000
(13:07 +0100)
committer
parmentelat
<thierry.parmentelat@inria.fr>
Fri, 14 Dec 2018 12:07:15 +0000
(13:07 +0100)
plcsh
patch
|
blob
|
history
diff --git
a/plcsh
b/plcsh
index
6b07619
..
15a42a5
100755
(executable)
--- a/
plcsh
+++ b/
plcsh
@@
-87,7
+87,7
@@
if args:
path = os.path.dirname(os.path.abspath(script))
sys.path.append(path)
with open(script) as feed:
- exec(
script
.read())
+ exec(
feed
.read())
# Otherwise, run an interactive shell environment
else: