Optimization (basically, avoid saving the configuration file for each and every module added to each and every configuration when booting roxen. It's sort of unesseary...) Rev: server/base_server/configuration.pike:1.352