Debug shell support command history

pull/712/head
Julien Duponchelle 8 years ago
parent 4624c7433c
commit f216422d0f
No known key found for this signature in database
GPG Key ID: CE8B29639E07F5E8

1
.gitignore vendored

@ -52,3 +52,4 @@ docs/_build
#VPCS
vpcs.hist
startup.vpcs
.gns3_shell_history

@ -169,7 +169,7 @@ class WebServer:
except ImportError:
log.error("Unable to start a shell: the ptpython module must be installed!")
return
yield from embed(globals(), locals(), return_asyncio_coroutine=True, patch_stdout=True)
yield from embed(globals(), locals(), return_asyncio_coroutine=True, patch_stdout=True, history_filename=".gns3_shell_history")
def _exit_handling(self):
"""

Loading…
Cancel
Save