Don't kill ssh, it will stop the rest of the process when done from ssh. Instead, do not shut down network interfaces before a reboot. The original motive for doing this may no longer be necessary. Fixes #626
Related issues
Bug #626: System reboot does not disconnect ssh sessions
Don't kill ssh, it will stop the rest of the process when done from ssh. Instead, do not shut down network interfaces before a reboot. The original motive for doing this may no longer be necessary. Fixes #626