No more F9

This commit is contained in:
Ben Gras 2005-09-22 11:41:47 +00:00
parent 32442b200c
commit dabaebfeb2

View file

@ -40,18 +40,6 @@ PUBLIC int do_fkey_pressed(message *m)
if (pressed(F11)) timing_dmp();
if (pressed(F12)) sched_dmp();
if (pressed(F9)) {
printf("IS server going into infinite loop... hit 5x a function key\n");
printf("Five times a function key is fine as well ...\n");
while(TRUE) {
if (OK == nb_receive(ANY, m)) {
if (s++ >= 5 ) break;
}
}
printf("IS server back to normal ... \n");
return(EDONTREPLY);
}
/* Also check Shift F1-F6 keys. */
if (pressed(SF1)) mproc_dmp();
if (pressed(SF2)) sigaction_dmp();