29 lines
805 B
Diff
29 lines
805 B
Diff
From 31d1f45cd63ec142fc559ea4f8a70bd4a1151c42 Mon Sep 17 00:00:00 2001
|
|
From: Rosen Penev <rosenp@gmail.com>
|
|
Date: Mon, 7 Oct 2019 15:39:14 -0700
|
|
Subject: [PATCH 3/4] support: flush cout in GetNumber
|
|
|
|
uClibc++ does not implicitly do this before getline.
|
|
|
|
Signed-off-by: Rosen Penev <rosenp@gmail.com>
|
|
---
|
|
support.cc | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/support.cc b/support.cc
|
|
index 5ab8a23..1107993 100644
|
|
--- a/support.cc
|
|
+++ b/support.cc
|
|
@@ -73,7 +73,7 @@ uint64_t GetNumber(uint64_t low, uint64_t high, uint64_t def, const string & pro
|
|
|
|
if (low != high) { // bother only if low and high differ...
|
|
do {
|
|
- cout << prompt;
|
|
+ cout << prompt << flush;
|
|
cin.getline(line, 255);
|
|
if (!cin.good())
|
|
exit(5);
|
|
--
|
|
2.17.1
|
|
|