From 6046bc0cf675e72641d7ea49b15030d1f1cba4c1 Mon Sep 17 00:00:00 2001
From: Mark Pilgrim <mark@diveintomark.org>
Date: Wed, 15 Jul 2009 02:00:18 -0400
Subject: [PATCH] build fiddling

---
 util/htmlminimizer.py | 2 ++
 1 file changed, 2 insertions(+)
 mode change 100644 => 100755 util/htmlminimizer.py

diff --git a/util/htmlminimizer.py b/util/htmlminimizer.py
old mode 100644
new mode 100755
index de5947d..ab6e1e3
--- a/util/htmlminimizer.py
+++ b/util/htmlminimizer.py
@@ -18,6 +18,8 @@ for line in open(input_file, encoding="utf-8").readlines():
     # round-robin image servers
     if "<img src=i/" in line:
         line = line.replace("<img src=i/", "<img src=http://" + next(available_server) + "/dip3/")
+    if "url(i/" in line:
+        line = line.replace("url(i/", "url(http://" + next(available_server) + "/dip3/")
 
     # replace entities with Unicode characters
     for e in re.findall('&(.+?);', line):