diff options
| -rw-r--r-- | src/lib/Server/Plugin.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/Server/Plugin.py b/src/lib/Server/Plugin.py index 6bb6e1753..11d026c11 100644 --- a/src/lib/Server/Plugin.py +++ b/src/lib/Server/Plugin.py @@ -518,7 +518,7 @@ class DirectoryBacked(object): if ((event.filename[-1] == '~') or (event.filename[:2] == '.#') or (event.filename[-4:] == '.swp') or - (event.filename in ['SCCS', '.svn'])): + (event.filename in ['SCCS', '.svn', '4913'])): return if action in ['exists', 'created']: if not self.patterns.match(event.filename): |