Index: src/platform/dev/devserver.py |
diff --git a/src/platform/dev/devserver.py b/src/platform/dev/devserver.py |
index c2aa7b9213e19f980a447374c5eac236df7547f6..dc49a149fd4cadb187a4b5a6adcd23da697a1b97 100644 |
--- a/src/platform/dev/devserver.py |
+++ b/src/platform/dev/devserver.py |
@@ -6,7 +6,6 @@ import autoupdate |
import buildutil |
import optparse |
import os |
-import SimpleHTTPServer |
import sys |
import web |