lock_file() now fails with 423 if we hold the lock, but don't have an if-header. Rev: server/base_server/configuration.pike:1.572