# HG changeset patch
# User HackBot
# Date 1464140100 0
# Node ID e5e09208e894a7316a839aa5e2689004c403c4b9
# Parent  5acb4c32352029c268325ba816a4494ea00e6c0b
<oerjan> ` sed -i \'8s/.hg/(?:.hg|tmp)/\' bin/url

diff -r 5acb4c323520 -r e5e09208e894 bin/url
--- a/bin/url	Wed May 25 01:13:51 2016 +0000
+++ b/bin/url	Wed May 25 01:35:00 2016 +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|tmp)(?:/|$)",f):
         sys.exit("File is outside web-viewable filesystem repository.")
     else:
         print ("http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/" +