The set_config code now (hopefully) works somewhat better than before. :) Rev: server/protocols/http.pike:1.295