# HG changeset patch
# User HackBot
# Date 1398032983 0
# Node ID bee686ce562707416458ea21dc960371b74c8c7b
# Parent  f98cc7f9c463cf8e25a2cc3d6f838ef57032b287
<oerjan> sed -i \'8s!.*!    if re.match(r"/|\\\\.hg(?:/|$)",f):!\' bin/url

diff -r f98cc7f9c463 -r bee686ce5627 bin/url
--- a/bin/url	Sun Apr 20 22:29:12 2014 +0000
+++ b/bin/url	Sun Apr 20 22:29:43 2014 +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(?:/|$)",f):
         sys.exit("File is outside hg repository.")
     else:
         print ("http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/" +