# HG changeset patch
# User HackBot
# Date 1398032837 0
# Node ID 7de7b5fe850fa8b57cf04669f2bb830776496102
# Parent  c49e9afd1d2e5df2a5be0baa64b18d8de1691fe9
<oerjan> sed -i \'8c    if re.match(r"/|\\.hg(?:/|$)",f):\' bin/url

diff -r c49e9afd1d2e -r 7de7b5fe850f bin/url
--- a/bin/url	Sun Apr 20 22:16:31 2014 +0000
+++ b/bin/url	Sun Apr 20 22:27:17 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/" +