[MERGE] forward port branch 9.0 up to b08185fc66

This commit is contained in:
Christophe Simonis
2018-02-05 11:30:42 +01:00
4 changed files with 42 additions and 5 deletions
+1
View File
@@ -62,6 +62,7 @@ class Shell(Command):
def console(self, local_vars):
if not os.isatty(sys.stdin.fileno()):
local_vars['__name__'] = '__main__'
exec sys.stdin in local_vars
else:
if 'env' not in local_vars: