*** empty log message ***

diff --git a/drivers/tty/rs232.c b/drivers/tty/rs232.c
index 87b27dec54379803c1c6f510277260e8247fc306..6ec212a88dca4511ead9fe2941d6eff0df78755d 100644 (file)
--- a/drivers/tty/rs232.c
+++ b/drivers/tty/rs232.c
@@ -584,6 +584,7 @@ tty_t *tp;                  /* which TTY */
   irq = (line & 1) == 0 ? RS232_IRQ : SECONDARY_IRQ;
 
   rs->irq = irq;
+  rs->irq_hook_id = rs->irq;   /* call back with irq line number */
   if(sys_irqsetpolicy(irq, IRQ_REENABLE, &rs->irq_hook_id) != OK) {
        printf("RS232: Couldn't obtain hook for irq %d\n", irq);
   } else {

diff --git a/servers/is/dmp.c b/servers/is/dmp.c
index 5e84f58181b21e1148b57466434fa346571b1776..7751e86e2af222c83697a371b2ee6a0d2054dd92 100644 (file)
--- a/servers/is/dmp.c
+++ b/servers/is/dmp.c
@@ -41,6 +41,7 @@ PUBLIC int do_fkey_pressed(message *m)
   if (pressed(F11))    timing_dmp();
   if (pressed(F12))    sched_dmp();
 
+#if DEAD_CODE
   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");
@@ -52,6 +53,7 @@ PUBLIC int do_fkey_pressed(message *m)
        printf("IS server back to normal ... \n");
        return(EDONTREPLY);
   }
+#endif
 
   /* Also check Shift F1-F6 keys. */
   if (pressed(SF1))    mproc_dmp();