Do the %d etc. replacement each time the file is opened, not only when the server is created Rev: server/base_server/configuration.pike:1.276