From e0414f0df7500132a1c81b40442609f0174adf43 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 30 May 2006 14:30:19 +0000 Subject: [PATCH] Bug fixed: theories were handled as base uris, not as uris of files. --- helm/software/components/getter/http_getter.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/getter/http_getter.ml b/helm/software/components/getter/http_getter.ml index 574f6b3c2..3f5cb2e5c 100644 --- a/helm/software/components/getter/http_getter.ml +++ b/helm/software/components/getter/http_getter.ml @@ -154,7 +154,7 @@ let exists uri = let is_an_obj s = try s <> UriManager.buri_of_uri (UriManager.uri_of_string s) - with UriManager.IllFormedUri _ -> false + with UriManager.IllFormedUri _ -> true let resolve ~writable uri = if remote () then -- 2.39.2