diff options
author | Dawid Dziurla <dawidd0811@gmail.com> | 2020-01-16 07:38:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-16 07:38:25 +0100 |
commit | 466e0be560e999184cd24c3ccdb1b68e8fbc9ac6 (patch) | |
tree | 54c467dd55211a33eea2202380a28708931dd558 | |
parent | 83a3c9fc8d90ddafe6fb2e752d57af161b081d83 (diff) | |
parent | 810adab9573e0190c27073e85b39246d51a56a27 (diff) |
Merge pull request #597 from jamiebrynes7/bugfix/fix-crash-on-exit
Fix crash on exit
-rw-r--r-- | pkg/gui/gui.go | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkg/gui/gui.go b/pkg/gui/gui.go index 08242da53..45229974a 100644 --- a/pkg/gui/gui.go +++ b/pkg/gui/gui.go @@ -880,7 +880,9 @@ func (gui *Gui) RunWithSubprocesses() error { } } - gui.fileWatcher.Watcher.Close() + if !gui.fileWatcher.Disabled { + gui.fileWatcher.Watcher.Close() + } break } else if err == gui.Errors.ErrSwitchRepo { |