You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, the default time interval for the poll watcher is 100ms as shown on line 22 in watcher.rs
I don't know what the default should be, but 100ms seems fine for now. However, this value should definitely be a command-line argument. I am thinking -d for short form and --duration for the long form.
The text was updated successfully, but these errors were encountered:
Currently, the default time interval for the poll watcher is 100ms as shown on line 22 in
watcher.rs
I don't know what the default should be, but 100ms seems fine for now. However, this value should definitely be a command-line argument. I am thinking
-d
for short form and--duration
for the long form.The text was updated successfully, but these errors were encountered: