Scheduler: Implement Timer helper

[senf.git] / Console / Readline.cci

diff --git a/Console/Readline.cci b/Console/Readline.cci
index 8d12264..200da7c 100644 (file)
--- a/Console/Readline.cci
+++ b/Console/Readline.cci
@@ -53,8 +53,12 @@ prefix_ int senf::console::detail::ReadlineClientReader::getc()
 
 prefix_ void senf::console::detail::ReadlineClientReader::write(std::string text)
 {
-    translate(text);
-    handle().write(text);
+    try {
+        translate(text);
+        handle().write(text);
+    } catch (SystemException &) {
+        ;
+    }
 }
 
 prefix_ void senf::console::detail::ReadlineClientReader::terminate()
@@ -62,6 +66,12 @@ prefix_ void senf::console::detail::ReadlineClientReader::terminate()
     terminate_ = true;
 }
 
+prefix_ void senf::console::detail::ReadlineClientReader::eof()
+{
+    stream() << '\n' << std::flush;
+    stopClient();
+}
+
 ///////////////////////////////////////////////////////////////////////////
 // senf::console::detail::SafeReadlineClientReader