# HG changeset patch
# User HackBot
# Date 1359146470 0
# Node ID a911b3c32483d8b5e78135d7a98798006740620f
# Parent  24a919a1a9748e4f990255980e736f9a916ec5d7
<oerjan> cat url.2 >bin/url

diff -r 24a919a1a974 -r a911b3c32483 bin/url
--- a/bin/url	Fri Jan 25 20:40:59 2013 +0000
+++ b/bin/url	Fri Jan 25 20:41:10 2013 +0000
@@ -3,6 +3,5 @@
 if len(sys.argv) <= 1:
     print "http://codu.org/projects/hackbot/fshg/"
 else:
-    print urllib.quote(
-        "http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/"
-        + sys.argv[1])
+    print ("http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/" +
+        urllib.quote(sys.argv[1]))