Thomas Faller : cmd: Don't print an empty line if no command was executed.