Bug fix: stopped kernels sometimes got IPC messages from the monitor.
authorAdam Dickmeiss <adam@indexdata.dk>
Fri, 19 May 1995 14:51:06 +0000 (14:51 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Fri, 19 May 1995 14:51:06 +0000 (14:51 +0000)
commitf109f4412245d98b9a2c9e309cf44fb2ae1243c8
tree42f926faee386a94c4c28134202d31c15f6c9e08
parentaa975e8f85af258357639e3407ce40090f4a4998
Bug fix: stopped kernels sometimes got IPC messages from the monitor.
kernel/monitor.c