Fixes [Bug 197 (#197)], we have to flush the cache when the module list is changed Rev: server/base_server/configuration.pike:1.361