diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-06-04 14:46:09 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-06-04 14:54:14 -0400 |
| commit | 47f8f43715f355e141fc2d57ce7f72bdda75b5d6 (patch) | |
| tree | 4dc63444ce4ae7df79d014683c0aa2010c56b7cd /Command/Watch.hs | |
| parent | fa9d479fd1102efeebaafca66d7747bf07604ecb (diff) | |
workaround other part of moved directory problem
This fixes the scenario where:
* directory foo is moved away (and still watched)
* a new directory foo is made
* file (or directory) foo/bar is created
* the old directory's file (or directory) "bar" is deleted
We don't want a deletion event for foo/bar in this case.
Diffstat (limited to 'Command/Watch.hs')
0 files changed, 0 insertions, 0 deletions