Improved handling of the log file when a configuration is deleted. Rev: server/base_server/configuration.pike:1.294