From 8cc3addaa00beab96207cc5f6a493cba4cb513bd Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sun, 5 Jan 2003 14:04:57 +0000 Subject: [PATCH] - added a TODO comment for 'file://' scheme support --- helm/http_getter/http_getter.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml index 44f24dee9..04eaed9c4 100644 --- a/helm/http_getter/http_getter.ml +++ b/helm/http_getter/http_getter.ml @@ -214,6 +214,7 @@ in let (index_line_sep_RE, index_sep_RE) = (Pcre.regexp "[ \t]+", Pcre.regexp "\n+") in + (* TODO support 'file://.*' servers *) let update_from_server logmsg server_url = (* use global maps *) debug_print ("Updating information from " ^ server_url); let xml_url_of_uri = function -- 2.39.2