Don't destruct ports when removing a server (reload_all_configurations) Rev: server/base_server/roxen.pike:1.443