don't rewrite index.html everytime

lib/util.py

@@ -577,11 +577,12 @@ class StoreDict(dict):
 
 
 def check_www_dir(rdir):
-    # rewrite index.html every time
     import urllib, urlparse, shutil, os
     if not os.path.exists(rdir):
         os.mkdir(rdir)
     index = os.path.join(rdir, 'index.html')
+    if not os.path.exists(index):
+        print_error("copying index.html")
         src = os.path.join(os.path.dirname(__file__), 'www', 'index.html')
         shutil.copy(src, index)
     files = [