# HG changeset patch
# User HackBot
# Date 1487213833 0
# Node ID 7c07682dcc2564ca440d62379ab564530a1fdae3
# Parent  f872c7ab469808e016e45011b5396a128b92e2dd
<oerjan> sled bin/url//s,[|].hg,|\\\\.hg,

diff -r f872c7ab4698 -r 7c07682dcc25 bin/url
--- a/bin/url	Thu Feb 16 02:34:44 2017 +0000
+++ b/bin/url	Thu Feb 16 02:57:13 2017 +0000
@@ -5,7 +5,7 @@
 else:
     f = os.path.abspath(sys.argv[1])
     f = re.sub(r"^/+hackenv/", "", f)
-    if re.match(r"/|.hg(?:/|$)",f):
+    if re.match(r"/|\.hg(?:/|$)",f):
         sys.exit("File is outside web-viewable filesystem repository.")
     elif re.match(r"tmp(?:/|$)",f):
         print ("http://www2.codu.org/projects/hackbot/" + urllib.quote(f))