context: function showPage(serverId, pageId) {  if (pageId == currentPageId &&      serverId == currentServerId)    return;  // save the previous page  savePage(currentServerId);    // loading a complete different page  if (pageId != currentPageId) {        // prevent overwriting with bad stuff    currentServerId = currentPageId = null;        pendingServerId=serverId;    pendingPageId=pageId;    loadPage(pageId);  }    // same page, different server  else if (serverId != currentServerId) {    restorePage(pageId, serverId);  }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0b2dd2b2d2fd037df917e07645fa019a963332a5/AccountManager.js/buggy/mailnews/base/prefs/resources/content/AccountManager.js