fixed bug introduced when porting to py3
authorparmentelat <thierry.parmentelat@inria.fr>
Fri, 14 Dec 2018 12:07:07 +0000 (13:07 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Fri, 14 Dec 2018 12:07:15 +0000 (13:07 +0100)
plcsh

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: