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); }; /**