Bug 305051 If the extensions.rdf is deleted and there are pending ops in extensions.cache the extension manager ui is empty. r+a=bsmedberg

This commit is contained in:
rob_strong%exchangecode.com 2005-08-19 02:33:24 +00:00
Родитель 7207b13c45
Коммит 7bb65aff2a
1 изменённых файлов: 4 добавлений и 0 удалений

Просмотреть файл

@ -2336,6 +2336,10 @@ ExtensionManager.prototype = {
if (iniExists)
extensionsINI.remove(false);
// If the extensions datasource is missing remove the .cache file if it exists
if (!dsExists && cacheExists)
extensionsCache.remove(false);
return true;
},