# HG changeset patch
# User HackBot
# Date 1359146297 0
# Node ID 28b402caecb030199f5559e6d328cc218a26b2a7
# Parent  d5b2eb52c7607307f8e093a3d764d4df31e27f24
<oerjan> cat url.1 >bin/url

diff -r d5b2eb52c760 -r 28b402caecb0 bin/url
--- a/bin/url	Fri Jan 25 20:38:02 2013 +0000
+++ b/bin/url	Fri Jan 25 20:38:17 2013 +0000
@@ -1,6 +1,8 @@
 #!/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)
+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])