Use file.write instead of 'print,' as the latter adds a trailing space
commitf5ae07685c08532a2aa928690616ec9cec227012
authorg@localhost.localdomain <>
Wed, 21 Feb 2007 22:52:34 +0000 (21 23:52 +0100)
committerGuillaume Chazarain <guichaz@yahoo.fr>
Wed, 21 Feb 2007 22:52:34 +0000 (21 23:52 +0100)
tree93342bc9364780a9756e3209d58ad9d3c35c65f0
parent66db70bd5184c6eefe35102662ed74f6ebd6b193
Use file.write instead of 'print,' as the latter adds a trailing space
Interrupt readline with a Ctrl-C instead of a '\n' to avoid printing a
newline when possible
CLean the display before and after the control shell
gsh/console.py
gsh/control_shell.py