View | Details | Raw Unified
Collapse All | Expand All

(-) plugins.orig/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java (-1 / +1 lines)
 Lines 74-80    Link Here  
			public void run() {
			public void run() {
				try {
				try {
					process.waitFor();
					process.waitFor();
					DefaultBrowserSupport.getInstance().removeBrowser(getId());
 
					DefaultBrowserSupport.getInstance().removeBrowser(ExternalBrowserInstance.this.getId());
 
				} catch (Exception e) {
				} catch (Exception e) {
					// ignore
					// ignore
				}
				}