# HG changeset patch
# User HackBot
# Date 1487212484 0
# Node ID f872c7ab469808e016e45011b5396a128b92e2dd
# Parent  76a97128bd0c74099eb00d0633cf8b2aa7fdc65a
<fizzie> ` sed -i -e \'s#(?:\\\\.hg)#\\.hg#\' bin/url   # retry optomize

diff -r 76a97128bd0c -r f872c7ab4698 bin/url
--- a/bin/url	Thu Feb 16 02:25:36 2017 +0000
+++ b/bin/url	Thu Feb 16 02:34:44 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))