diff options
Diffstat (limited to 'java/eclipse-devel/files/patch-browser-src-ExternalBrowserInstance.java')
| -rw-r--r-- | java/eclipse-devel/files/patch-browser-src-ExternalBrowserInstance.java | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/java/eclipse-devel/files/patch-browser-src-ExternalBrowserInstance.java b/java/eclipse-devel/files/patch-browser-src-ExternalBrowserInstance.java new file mode 100644 index 000000000000..7cf29b859995 --- /dev/null +++ b/java/eclipse-devel/files/patch-browser-src-ExternalBrowserInstance.java @@ -0,0 +1,13 @@ +--- 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 + } + |