changeset 8136:a33356304892

<oerjan> ` sed -i \'8s/..hg/(?:&|tmp)/\' bin/url
author HackBot
date Wed, 25 May 2016 01:38:44 +0000
parents 06b216292e6b
children a47eb26d2f4b
files bin/url
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/url	Wed May 25 01:37:32 2016 +0000
+++ b/bin/url	Wed May 25 01:38:44 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/" +