add: gUpdatingBatch = false; 
context: function FinalizePermissionDeletions() {  var ioService = Components.classes["@mozilla.org/network/io-service;1"]                    .getService(Components.interfaces.nsIIOService);  for (var p=0; p<deletedPermissions.length; p++) {    if (deletedPermissions[p].type == popupType) {      // we lost the URI's original scheme, but this will do because the scheme      // is stripped later anyway.      var uri = ioService.newURI("http://"+deletedPermissions[p].host, null, null);      popupmanager.remove(uri);    } else      permissionmanager.remove(deletedPermissions[p].host, deletedPermissions[p].type);  }  deletedPermissions.length = 0;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/c139565ffef8d9e4c88cac97d4518cdd0d3c00d4/CookieViewer.js/buggy/extensions/wallet/cookieviewer/resources/content/CookieViewer.js