1 files changed, 10 insertions, 7 deletions
diff --git a/trace-viewer/run_dev_server.py b/trace-viewer/run_dev_server.py
index cd377fea..a082d703 100755
--- a/trace-viewer/run_dev_server.py
+++ b/trace-viewer/run_dev_server.py
@@ -5,6 +5,7 @@
 import optparse
 import os
 import sys
+import time
 
 import SimpleHTTPServer
 import BaseHTTPServer
@@ -12,20 +13,22 @@ import BaseHTTPServer
 from build import calcdeps
 
 DEFAULT_PORT = 8003
+DEPS_CHECK_DELAY = 5
 
 class Handler(SimpleHTTPServer.SimpleHTTPRequestHandler):
   def do_GET(self):
     if self.path == '/src/deps.js':
-      self.log_message('Regenerating deps')
-      calcdeps.regenerate_deps()
+      current_time = time.time()
+      if self.server.next_deps_check < current_time:
+        self.log_message('Regenerating deps')
+        self.server.next_deps_check = current_time + DEPS_CHECK_DELAY
+        calcdeps.regenerate_deps()
     return SimpleHTTPServer.SimpleHTTPRequestHandler.do_GET(self)
 
 class Server(BaseHTTPServer.HTTPServer):
-  def handle_one_request(self):
-    try:
-      HTTPServer.handle_one_request(self)
-    except KeyboardInterrupt:
-      sys.exit(255)
+  def __init__(self, *args, **kwargs):
+    BaseHTTPServer.HTTPServer.__init__(self, *args, **kwargs)
+    self.next_deps_check = -1
 
 def Main(args):
   parser = optparse.OptionParser()