From: Gerd S. <in...@ge...> - 2001-11-17 23:32:44
|
Hi, I have changed the signature of the [url] method (Netcgi_types): method url : ?protocol:Netcgi_env.protocol -> (* default: from environment *) ?with_authority:other_url_spec -> (* default: `Env *) ?with_script_name:other_url_spec -> (* default: `Env *) ?with_path_info:other_url_spec -> (* default: `Env *) ?with_query_string:query_string_spec -> (* default: `None *) unit -> string where other_url_spec = [ `Env | `This of string | `None ] (instead of just bool). `This is the new third value, and it simplifies making URLs with different path_info or script_name. If this is accepted, I would suggest to release the current code before adding new features. Gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 45 64293 Darmstadt EMail: ge...@ge... Germany ---------------------------------------------------------------------------- |