Attachment 68207 Details for Bug 187877 – Patch

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Patch

187877 (text/plain), 1.23 KB, created by Tod Creasey

on 2007-05-22 16:25:13 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Tod Creasey

Created: 2007-05-22 16:25:13 EDT

Size: 1.23 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ui.ide
>Index: extensions/org/eclipse/ui/part/FileEditorInput.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.ide/extensions/org/eclipse/ui/part/FileEditorInput.java,v
>retrieving revision 1.14
>diff -u -r1.14 FileEditorInput.java
>--- extensions/org/eclipse/ui/part/FileEditorInput.java	28 Feb 2007 20:32:24 -0000	1.14
>+++ extensions/org/eclipse/ui/part/FileEditorInput.java	22 May 2007 20:24:31 -0000
>@@ -172,12 +172,16 @@
> 		//this is not a local file, so try to obtain a local file
> 		try {
> 			final URI locationURI = file.getLocationURI();
>+			if(locationURI == null)
>+				return null;
> 			IFileStore store = EFS.getStore(locationURI);
> 			//first try to obtain a local file directly fo1r this store
> 			java.io.File localFile = store.toLocalFile(EFS.NONE, null);
> 			//if no local file is available, obtain a cached file
> 			if (localFile == null)
> 				localFile = store.toLocalFile(EFS.CACHE, null);
>+			if (localFile == null)
>+				return null;
> 			return Path.fromOSString(localFile.getAbsolutePath());
> 		} catch (CoreException e) {
> 			//this can only happen if the file system is not available for this scheme

Actions: View | Diff

Attachments on bug 187877: 68207