InteractiveConsole: improve message in case of user stop
Merged 'develop'.