changeset 10281:76a97128bd0c

<fizzie> ` sed -i -e \'s#/(?:#(?:/#\' bin/url
author HackBot
date Thu, 16 Feb 2017 02:25:36 +0000
parents bae4827d5de8
children f872c7ab4698
files bin/url
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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/" +