Update restart triggers crash recovery. Fixes #3838

(integrated from the KomodoIDE master branch change db0782287 by Carey Hoffman <cgchoffman@gmail.com>) Komodo/KomodoIDE@db0782287
Komodo · Feb 10, 2020 · 9e6c3e5 · 9e6c3e5
1 parent 6e38234
commit 9e6c3e5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/chrome/komodo/content/komodo.p.js b/src/chrome/komodo/content/komodo.p.js
@@ -263,6 +263,8 @@ this._onDOMWindowClose = function(event) {
         saveWorkspaceIfNeeded("window-close");
     }
     ko.main.runWillCloseHandlers();
+    ko.prefs.setBooleanPref("komodo_normal_shutdown", true);
+
     window.removeEventListener("DOMWindowClose", ko.main._onDOMWindowClose, true);
     _log.debug("<< ko.main._onDOMWindowClose");
 }