diff options
| author | Moritz Haase <Moritz.Haase@bmw.de> | 2022-03-26 18:24:36 +0100 |
|---|---|---|
| committer | Jesse Duffield <jessedduffield@gmail.com> | 2022-03-27 10:14:33 +1100 |
| commit | 4abd80e2c455cf7d92fa2b3a4389b5baa1ae5aa3 (patch) | |
| tree | 5d0195075a84c7ae76eeccc97314d3c8f0e6a45c /docs | |
| parent | 240483953f708f538b3396fa9e21069c1461137c (diff) | |
pkg/gui: Fix crash if auto-fetch interval is non-positive
Check whether the auto-fetch interval configured is actually positive before
starting the background fetcher. If it is not, an error is logged. Also improve
the config option documentation a bit to make it easier to understand how to
disable auto-fetch.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Config.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Config.md b/docs/Config.md index 951686073..77685a378 100644 --- a/docs/Config.md +++ b/docs/Config.md @@ -86,7 +86,7 @@ os: openCommand: '' refresher: refreshInterval: 10 # File/submodule refresh interval in seconds. Auto-refresh can be disabled via option 'git.autoRefresh'. - fetchInterval: 60 # re-fetch interval in seconds + fetchInterval: 60 # Re-fetch interval in seconds. Auto-fetch can be disabled via option 'git.autoFetch'. update: method: prompt # can be: prompt | background | never days: 14 # how often an update is checked for |