# HG changeset patch
# User HackBot
# Date 1487211936 0
# Node ID 76a97128bd0c74099eb00d0633cf8b2aa7fdc65a
# Parent  bae4827d5de82034ca73196e888e3dd37840ac81
<fizzie> ` sed -i -e \'s#/(?:#(?:/#\' bin/url

diff -r bae4827d5de8 -r 76a97128bd0c bin/url
--- a/bin/url	Thu Feb 16 02:23:44 2017 +0000
+++ b/bin/url	Thu Feb 16 02:25:36 2017 +0000
@@ -7,7 +7,7 @@
     f = re.sub(r"^/+hackenv/", "", f)
     if re.match(r"/|(?:\.hg)(?:/|$)",f):
         sys.exit("File is outside web-viewable filesystem repository.")
-    elif re.match(r"tmp/(?:|$)",f):
+    elif re.match(r"tmp(?:/|$)",f):
         print ("http://www2.codu.org/projects/hackbot/" + urllib.quote(f))
     else:
         print ("http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/" +