diff options
author | tomsmeding <tom.smeding@gmail.com> | 2019-02-16 12:59:19 +0100 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2019-02-16 18:20:20 +0100 |
commit | 1154c8605a5c42a651bac5e2f74839062d352b9e (patch) | |
tree | 42527395c2eec9566d0e23b8bd17e5c59239b1dd /process.h | |
parent | e2279628e551e5c82f70c739f6c02671e6ccd9fd (diff) |
Add referee features
Diffstat (limited to 'process.h')
-rw-r--r-- | process.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -40,4 +40,5 @@ public: bool writeLine(const string_view line); optional<string> readLine(); + optional<string> readLineTimeout(size_t millis); }; |