def do_GET(self):
   if self.path == '/src/deps.js':
     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)
 def do_GET(self):
     if self.path == '/src/deps.js':
         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)
 def do_GET(self):
     if self.path == '/src/base/deps.js':
         self.log_message('Regenerating deps')
         calcdeps.regenerate_deps()
     return SimpleHTTPServer.SimpleHTTPRequestHandler.do_GET(self)
Beispiel #4
0
 def do_GET(self):
   if self.path == '/src/base/deps.js':
     self.log_message('Regenerating deps')
     calcdeps.regenerate_deps()
   return SimpleHTTPServer.SimpleHTTPRequestHandler.do_GET(self)