diff options
| author | Mo <76752051+mo8it@users.noreply.github.com> | 2024-04-25 14:43:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-25 14:43:28 +0200 |
| commit | 88f27a53771a49a4e541627b84cc5dc7ab6f7357 (patch) | |
| tree | eba5401fd370e85cf597771b34a042eb5ae65475 /src/watch.rs | |
| parent | d8c2ab8349854cbc7f4a994c7413d266cc38bc24 (diff) | |
| parent | 1f1a62d83ef9398a1a31c904a2ef6d81f5455e59 (diff) | |
Merge pull request #1959 from rust-lang/output
Improve output
Diffstat (limited to 'src/watch.rs')
| -rw-r--r-- | src/watch.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/watch.rs b/src/watch.rs index 5ebe526..1e22f59 100644 --- a/src/watch.rs +++ b/src/watch.rs @@ -51,7 +51,7 @@ pub fn watch( // Otherwise, the file watcher exits. let _debouncer_guard = if let Some(exercise_paths) = notify_exercise_paths { let mut debouncer = new_debouncer( - Duration::from_secs(1), + Duration::from_millis(500), DebounceEventHandler { tx: tx.clone(), exercise_paths, |