Small fix should there be several parallell stop() calls. Rev: server/base_server/configuration.pike:1.700