# HG changeset patch
# User HackBot
# Date 1475429091 0
# Node ID d0c60ac05f54b3e718baabe35adc3d2925239039
# Parent  f77bdda22674946aa27dc1b8df544636774e088c
<oerjan> ` cp bin/{,h}url; sed -i \'11s/file/log/\' bin/hurl

diff -r f77bdda22674 -r d0c60ac05f54 bin/hurl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/hurl	Sun Oct 02 17:24:51 2016 +0000
@@ -0,0 +1,12 @@
+#!/usr/bin/env python
+import sys, os.path, re, urllib
+if len(sys.argv) <= 1:
+    print "http://codu.org/projects/hackbot/fshg/"
+else:
+    f = os.path.abspath(sys.argv[1])
+    f = re.sub(r"^/+hackenv/", "", 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/log/tip/" +
+            urllib.quote(f))