diff options
author | ianb <devnull@localhost> | 2005-05-08 06:30:15 +0000 |
---|---|---|
committer | ianb <devnull@localhost> | 2005-05-08 06:30:15 +0000 |
commit | 81c80e2cc9f7bf6b6240ce142669f199078b6723 (patch) | |
tree | e58716e9f962c5b66910d6d2f4c38a1d1ff7a755 /paste/reloader.py | |
parent | 2b292876fe11045c8372020cbeba6a2378d9671b (diff) | |
download | paste-81c80e2cc9f7bf6b6240ce142669f199078b6723.tar.gz |
Ignore some errors when polling files
Diffstat (limited to 'paste/reloader.py')
-rw-r--r-- | paste/reloader.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/paste/reloader.py b/paste/reloader.py index ac54a8d..72148e1 100644 --- a/paste/reloader.py +++ b/paste/reloader.py @@ -69,7 +69,10 @@ class Monitor: except AttributeError: continue for filename in filenames: - mtime = os.stat(filename).st_mtime + try: + mtime = os.stat(filename).st_mtime + except (OSError, IOError): + continue if filename.endswith('.pyc') and os.path.exists(filename[:-1]): mtime = max(os.stat(filename[:-1]).st_mtime, mtime) if not self.module_mtimes.has_key(filename): |