Do not save the configuration when a module is reloaded. Rev: server/base_server/configuration.pike:1.424