Fix minor TermDisplay glitch

Display cleaning possibly made too early
This commit is contained in:
Alexandre Archambault 2016-11-07 11:22:55 +01:00
parent f1e1b6aac9
commit 73243f54e3
No known key found for this signature in database
GPG Key ID: 14640A6839C263A9
1 changed files with 1 additions and 1 deletions

View File

@ -453,7 +453,7 @@ class TermDisplay(
*/
def stopDidPrintSomething(): Boolean = {
scheduler.shutdown()
scheduler.awaitTermination(refreshInterval, TimeUnit.MILLISECONDS)
scheduler.awaitTermination(2 * refreshInterval, TimeUnit.MILLISECONDS)
updateRunnable.cleanDisplay()
updateRunnable.printedAnything()
}