Added explanation of SIGKILL, REBOOT order.

diff --git a/servers/pm/misc.c b/servers/pm/misc.c
index 559adcb096ddfe325cb6d60f68d26820d7938b1c..aadd84b6abff5ae4d0e5772ca5652b76315eca0c 100644 (file)
--- a/servers/pm/misc.c
+++ b/servers/pm/misc.c
@@ -172,6 +172,11 @@ PUBLIC int do_reboot()
        return(EINVAL);
   }
 
+  /* Order matters here. When FS is told to reboot, it exits all its
+   * processes, and then would be confused if they're exited again by
+   * SIGKILL. So first kill, then reboot.
+   */
+
   check_sig(-1, SIGKILL);              /* kill all processes except init */
   tell_fs(REBOOT, 0, 0, 0);            /* tell FS to synchronize */