rem:  var sm = document.getElementById("menuitem-stop"); if (!sm) { dump("Couldn't obtain menu item Stop\n"); } else {  sm.setAttribute("disabled", "true"); }   if (appCore != null) { dump("Going to Stop\n"); appCore.stop(); } else { dump("BrowserAppCore has not been created!\n"); } } 
add:  if (appCore != null) appCore.stop(); } 
context:   function BrowserStop() {     // Get a handle to the "canStop" broadcast id     var stopBElem = document.getElementById("canStop");     if (!stopBElem) {        dump("Couldn't obtain handle to stop Broadcast element\n");        return;	   }     var canStop = stopBElem.getAttribute("disabled");     var sb = document.getElementById("stop-button");          if (!sb) {     	 dump("Could not obtain handle to stop button\n");	     return;     }     // If the stop button is currently disabled, just return     if ((sb.getAttribute("disabled")) == "true") {	    return;     }	     //Stop button has just been pressed. Disable it.      sb.setAttribute("disabled", "true");     // Get a handle to the stop menu item.     var sm = document.getElementById("menuitem-stop");     if (!sm) {       dump("Couldn't obtain menu item Stop\n");     } else {       // Disable the stop menu-item.       sm.setAttribute("disabled", "true");     }       //Call in to BrowserAppcore to stop the current loading     if (appCore != null) {        dump("Going to Stop\n");        appCore.stop();     } else {        dump("BrowserAppCore has not been created!\n");     }  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/d46106418588bec5ed4354933e11d332b81439bb/navigator.js/clean/suite/browser/navigator.js