# HG changeset patch
# User HackBot
# Date 1359146282 0
# Node ID d5b2eb52c7607307f8e093a3d764d4df31e27f24
# Parent  2f5b38bf47106fb26b0e4c7a0bdacb64f8cace3f
<oerjan> cat url >bin/url

diff -r 2f5b38bf4710 -r d5b2eb52c760 bin/url
--- a/bin/url	Fri Jan 25 20:37:44 2013 +0000
+++ b/bin/url	Fri Jan 25 20:38:02 2013 +0000
@@ -1,7 +1,6 @@
-#!/bin/bash
-if [ "$1" ]
-then
-    echo 'http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/'"$1"
-else
-    echo 'http://codu.org/projects/hackbot/fshg/'
-fi
\ No newline at end of file
+#!/usr/bin/env python
+import sys, urllib
+arg = sys.argv(1)
+if arg == None: print "http://codu.org/projects/hackbot/fshg/"
+else: print urllib.quote(
+    "http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/" . arg)