use curl instead of wget

2007-03-28 17:08:24 +00:00
parent cd1839149e
commit f0bedcb95e
3 changed files with 30 additions and 15 deletions
@@ -222,12 +222,17 @@ def shellquote(s):
  """
  result = ""
  map = {"$":"\\$", "\"":"\\\"", "`":"\\`", "!":"\\!"}
+  changed = False
  for c in str(s):
    if c in map.keys():
      result += map[c]
+      changed = True
    else:
      result += c
-  return "\"%s\"" % result
+  if changed:
+    return "\"%s\"" % result
+  else:
+    return result

 def sanitize_basename(s, replacechar = "_"):
  """Sanitizes the base of a filename.