BZ 1030082 1029384 - shutdown the server if it was decommissioned (that is, its server entry was removed from the server table)
(cherry picked from commit 02513a8a0c8703bdb4804e31ac0ffd7ec35a2819)