urls: handle a series of /././././ in paths.

diff --git a/basis/urls/urls.factor b/basis/urls/urls.factor
index 0347cd729295d9ef8dfc395df44a852453e3cac7..84a42f2d907e499f3de19d4a54d0319b0f3d1e4d 100644 (file)
--- a/basis/urls/urls.factor
+++ b/basis/urls/urls.factor
@@ -147,7 +147,7 @@ M: url present
     ] "" make ;
 
 : remove-dot-segments ( path -- path' )
-    "/./" "/" replace
+    [ "/./" over subseq? ] [ "/./" "/" replace ] while
     [ "/../" split1 ] [ [ "/" split1-last drop ] dip "/" glue ] while*
     "/.." ?tail [ "/" split1-last drop "/" append ] when
     "../" ?head [ "/" prepend ] when