From 9e6c3e53504a009b73f2ed776518a4e4d55b0931 Mon Sep 17 00:00:00 2001
From: Carey Hoffman <cgchoffman@gmail.com>
Date: Sun, 9 Feb 2020 21:19:54 -0800
Subject: [PATCH] Update restart triggers crash recovery. Fixes #3838

(integrated from the KomodoIDE master branch change db0782287 by Carey Hoffman <cgchoffman@gmail.com>)

https://github.com/Komodo/KomodoIDE/commit/db0782287
---
 src/chrome/komodo/content/komodo.p.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/chrome/komodo/content/komodo.p.js b/src/chrome/komodo/content/komodo.p.js
index f22d1656bc..6924fac057 100644
--- 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");
 }