also process user input, trigger more processEvents

[features.git] / src / support / SystemcallPrivate.h

diff --git a/src/support/SystemcallPrivate.h b/src/support/SystemcallPrivate.h
index ff4afed0ea88419bb2f2d8505b62b624c4776aff..4151940278386b7794e7f31041d69180a4725d67 100644 (file)
--- a/src/support/SystemcallPrivate.h
+++ b/src/support/SystemcallPrivate.h
@@ -80,8 +80,10 @@ private:
        bool showout_;
        /// 
        bool showerr_;
+       bool process_events;
 
        void waitAndProcessEvents();
+       void processEvents();
 
        void killProcess();