return console_fnkey_pressed(12);
}
+static unsigned char console_eofkey(EditLine * el, int ch)
+{
+ printf("/exit\n\n");
+ running = thread_running = 0;
+
+ return CC_EOF;
+}
+
#endif
static void handle_SIGINT(int sig)
return;
}
+static void handle_SIGQUIT(int sig)
+{
+ fprintf(stdout, "Caught SIGQUIT\n");
+ return;
+}
#ifdef WIN32
static HANDLE hStdout;
}
signal(SIGINT, handle_SIGINT);
+ signal(SIGQUIT, handle_SIGQUIT);
esl_global_set_default_logger(6); /* default debug level to 6 (info) */
el_set(el, EL_ADDFN, "f11-key", "F11 KEY PRESS", console_f11key);
el_set(el, EL_ADDFN, "f12-key", "F12 KEY PRESS", console_f12key);
+ el_set(el, EL_ADDFN, "EOF-key", "EOF (^D) KEY PRESS", console_eofkey);
+
el_set(el, EL_BIND, "\033OP", "f1-key", NULL);
el_set(el, EL_BIND, "\033OQ", "f2-key", NULL);
el_set(el, EL_BIND, "\033OR", "f3-key", NULL);
el_set(el, EL_BIND, "\033[23~", "f11-key", NULL);
el_set(el, EL_BIND, "\033[24~", "f12-key", NULL);
+ el_set(el, EL_BIND, "\004", "EOF-key", NULL);
if (myhistory == 0) {
esl_log(ESL_LOG_ERROR, "history could not be initialized\n");