Close and forget the watch for a directory that errored/was removed.
(dir: string)
| 623 | |
| 624 | /** Close and forget the watch for a directory that errored/was removed. */ |
| 625 | private unwatchDir(dir: string): void { |
| 626 | const w = this.dirWatchers.get(dir); |
| 627 | if (w) { |
| 628 | try { |
| 629 | w.close(); |
| 630 | } catch { |
| 631 | /* already closed */ |
| 632 | } |
| 633 | this.dirWatchers.delete(dir); |
| 634 | } |
| 635 | } |
| 636 | |
| 637 | /** Our own dirs are always ignored, regardless of .gitignore. */ |
| 638 | private isAlwaysIgnored(rel: string): boolean { |