Fixing a display bug (cases where messages are just appended after the readInput line in batch mode) introduced with b472d9809a86c3f431929399a2beeb6cd78b6cb5
S
stamparm committed
ad471368f5e55abda6d119bfa15b697d3194a243
Parent: 0bbbfc2