[chronojump] DiscoverThread is closed if Chronojump is closed

[Xavier de Blas <xaviblas src gnome org>]

commit 15fe21ded8e04728471d9757b1e279fc30fc75bb
Author: Xavier de Blas <xaviblas gmail com>
Date:   Mon May 23 09:47:57 2022 +0200

    DiscoverThread is closed if Chronojump is closed

 src/gui/app1/chronojump.cs | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/gui/app1/chronojump.cs b/src/gui/app1/chronojump.cs
index dcce5f5fe..799e15271 100644
--- a/src/gui/app1/chronojump.cs
+++ b/src/gui/app1/chronojump.cs
@@ -2865,6 +2865,10 @@ public partial class ChronoJumpWindow
                        jsPing.PingAbort();
                }
 
+               //close discoverThread
+               if (discoverWin != null)
+                       discoverWin.CancelCloseFromUser ();
+
                //printing remaining logs in the non-gtk thread
                LogB.Information("Printing non-GTK thread remaining log");
                LogB.Information(LogSync.ReadAndEmpty());