mirror of
https://git.freebsd.org/ports.git
synced 2025-06-21 12:40:45 -04:00
13 lines
548 B
Java
13 lines
548 B
Java
--- plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java.orig Sun Apr 3 15:44:23 2005
|
|
+++ plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java Sun Apr 3 15:44:47 2005
|
|
|
|
@@ -74,7 +74,7 @@
|
|
public void run() {
|
|
try {
|
|
process.waitFor();
|
|
- DefaultBrowserSupport.getInstance().removeBrowser(getId());
|
|
+ DefaultBrowserSupport.getInstance().removeBrowser(ExternalBrowserInstance.this.getId());
|
|
} catch (Exception e) {
|
|
// ignore
|
|
}
|
|
|