mirror of
https://git.aramjonghu.dev/AramJonghu/rustlings.git
synced 2026-09-05 09:43:31 +02:00
Quicker response to file changes
This commit is contained in:
+1
-1
@@ -51,7 +51,7 @@ pub fn watch(
|
|||||||
// Otherwise, the file watcher exits.
|
// Otherwise, the file watcher exits.
|
||||||
let _debouncer_guard = if let Some(exercise_paths) = notify_exercise_paths {
|
let _debouncer_guard = if let Some(exercise_paths) = notify_exercise_paths {
|
||||||
let mut debouncer = new_debouncer(
|
let mut debouncer = new_debouncer(
|
||||||
Duration::from_secs(1),
|
Duration::from_millis(500),
|
||||||
DebounceEventHandler {
|
DebounceEventHandler {
|
||||||
tx: tx.clone(),
|
tx: tx.clone(),
|
||||||
exercise_paths,
|
exercise_paths,
|
||||||
|
|||||||
Reference in New Issue
Block a user