src/console.h
changeset 212 ddc79529a1e0
parent 206 47837a6bbbea
child 217 7728d6ec3abf
--- a/src/console.h	Thu May 21 16:57:00 2009 +0300
+++ b/src/console.h	Thu May 21 16:57:28 2009 +0300
@@ -54,6 +54,12 @@
      * Note that for interactive consoles, EOF isn't actually EOF - there might be multiple EOFs...
      */
     void (*on_eof) (void *arg);
+
+    /**
+     * An input interrupt (SIGINT) was recieved while in the wait state. This can be used to abort execution and
+     * call console_continue quickly.
+     */
+    void (*on_interrupt) (void *arg);
 };
 
 /**