BUGFIX: Occasionally, a server restart would not restart.  This was because Nones were being put on the monitor_queue and not pulled off. The next time the server would start, the monitor_queue would die immediately.  This is now fixed.

The whole shutdown process has gone through a reorganization.