Merge branch 'master' of github.com:zopefoundation/bobo

zopefoundation · Apr 18, 2014 · 3ddfffb · 3ddfffb
2 parents ce7331c + 4174db4
commit 3ddfffb
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/bobo/src/boboserver.py b/bobo/src/boboserver.py
@@ -127,7 +127,10 @@ def __init__(self, app, default, modules):
         self.mtimes = mtimes = {}
         for name in modules.split():
             module = sys.modules[name]
-            mtimes[name] = (module.__file__, os.stat(module.__file__).st_mtime)
+            filename = module.__file__
+            if filename[-4:] in (".pyc", ".pyo"):
+                filename = filename[:-1]
+            mtimes[name] = (filename, os.stat(filename).st_mtime)
 
     def __call__(self, environ, start_response):
         for name, (path, mtime) in sorted(six.iteritems(self.mtimes)):