mirror of
https://github.com/Aider-AI/aider.git
synced 2025-06-01 02:05:00 +00:00
refactor: add ignore_permission_denied option to watch function
This commit is contained in:
parent
74ecdf2d3f
commit
0be5d39453
1 changed files with 4 additions and 1 deletions
|
@ -140,7 +140,10 @@ class FileWatcher:
|
||||||
roots_to_watch = self.get_roots_to_watch()
|
roots_to_watch = self.get_roots_to_watch()
|
||||||
|
|
||||||
for changes in watch(
|
for changes in watch(
|
||||||
*roots_to_watch, watch_filter=self.filter_func, stop_event=self.stop_event
|
*roots_to_watch,
|
||||||
|
watch_filter=self.filter_func,
|
||||||
|
stop_event=self.stop_event,
|
||||||
|
ignore_permission_denied=True,
|
||||||
):
|
):
|
||||||
if self.handle_changes(changes):
|
if self.handle_changes(changes):
|
||||||
return
|
return
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue