Bug 1546326: Correctly detect missing directories on Windows. r=Gijs a=pascalc
authorDave Townsend <dtownsend@oxymoronical.com>
Tue, 23 Apr 2019 17:23:35 +0000
changeset 526362 9fa4cf7dfb75f9591fd91a76776221af0868a995
parent 526361 66d938a1a824b2bc26bebbf675124fa8275cffe9
child 526363 d41af59923c97c57c2c7c22fe47ce6760f1a2029
push id2032
push userffxbld-merge
push dateMon, 13 May 2019 09:36:57 +0000
treeherdermozilla-release@455c1065dcbe [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersGijs, pascalc
bugs1546326
milestone67.0
Bug 1546326: Correctly detect missing directories on Windows. r=Gijs a=pascalc Differential Revision: https://phabricator.services.mozilla.com/D28514
toolkit/content/aboutProfiles.js
--- a/toolkit/content/aboutProfiles.js
+++ b/toolkit/content/aboutProfiles.js
@@ -55,17 +55,18 @@ function rebuildProfileList() {
     let isCurrentProfile = profile == currentProfile;
     let isInUse = isCurrentProfile;
     if (!isInUse) {
       try {
         let lock = profile.lock({});
         lock.unlock();
       } catch (e) {
         if (e.result != Cr.NS_ERROR_FILE_TARGET_DOES_NOT_EXIST &&
-            e.result != Cr.NS_ERROR_FILE_NOT_DIRECTORY) {
+            e.result != Cr.NS_ERROR_FILE_NOT_DIRECTORY &&
+            e.result != Cr.NS_ERROR_FILE_NOT_FOUND) {
           isInUse = true;
         }
       }
     }
     display({
       profile,
       isDefault: profile == defaultProfile,
       isCurrentProfile,