Reverted (most of) last change; seems like it's intentional. Hmm.. Rev: server/base_server/configuration.pike:1.246