Fix #2370, unset deviceId pref set by old addon

mozilla-services · Mar 17, 2017 · c020dcc · c020dcc
1 parent d384feb
commit c020dcc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/addon/bootstrap.js b/addon/bootstrap.js
@@ -64,7 +64,7 @@ function handleMessage(msg, sender, sendReply) {
     sendReply({type: "success", value: oldDeviceInfo || null});
   } else if (msg && msg.funcName === "removeOldAddon") {
     AddonManager.getAddonByID(OLD_ADDON_ID, (addon) => {
-      // FIXME: remove OLD_ADDON_PREF_NAME, see #2370
+      prefs.clearUserPref(OLD_ADDON_PREF_NAME);
       if (addon) {
         addon.uninstall();
       }