changeset 4605:f98cc7f9c463

<oerjan> sed -i \'8s!.*! if re.match(r"/|\\.hg(?:/|$)",f):!\' bin/url
author HackBot
date Sun, 20 Apr 2014 22:29:12 +0000
parents dabbf75b01c4
children bee686ce5627
files bin/url
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/url	Sun Apr 20 22:28:15 2014 +0000
+++ b/bin/url	Sun Apr 20 22:29:12 2014 +0000
@@ -5,7 +5,7 @@
 else:
     f = os.path.abspath(sys.argv[1])
     f = re.sub(r"^/+hackenv/", "", f)
-    if f.startswith("/"):
+    if re.match(r"/|.hg(?:/|$)",f):
         sys.exit("File is outside hg repository.")
     else:
         print ("http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/" +