urls: backward compatibility with ugly 'git://https://foo'

garybyrd · Oct 19, 2015 · 83b5b99 · 83b5b99
1 parent fa91c39
commit 83b5b99
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/core/opamUrl.ml b/src/core/opamUrl.ml
@@ -37,7 +37,8 @@ let split_url =
     let (@@) f x = f x in
     Re.(compile @@ seq [
         opt @@ seq [
-          opt @@ seq [group @@ rep @@ diff any (set "+:"); char '+'];
+          opt @@ seq [ group @@ rep @@ diff any (set "+:");
+                       alt [ char '+'; str "://"] ];
           group @@ rep @@ diff any (char ':');
           str "://"
         ];