Added option to disable flushing of the RAM_CACHE. Contributed by RTL, thanks. Rev: server/base_server/configuration.pike:1.595