summaryrefslogtreecommitdiff
path: root/process.h
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2019-02-16 12:59:19 +0100
committertomsmeding <tom.smeding@gmail.com>2019-02-16 18:20:20 +0100
commit1154c8605a5c42a651bac5e2f74839062d352b9e (patch)
tree42527395c2eec9566d0e23b8bd17e5c59239b1dd /process.h
parente2279628e551e5c82f70c739f6c02671e6ccd9fd (diff)
Add referee features
Diffstat (limited to 'process.h')
-rw-r--r--process.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/process.h b/process.h
index 24ff4b0..3505e8e 100644
--- a/process.h
+++ b/process.h
@@ -40,4 +40,5 @@ public:
bool writeLine(const string_view line);
optional<string> readLine();
+ optional<string> readLineTimeout(size_t millis);
};