Return "" instead of a totally bogus value from get_url() if no url could be derived. Rev: server/base_server/configuration.pike:1.455