mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-09 18:56:02 +02:00
Code Issues Wiki Activity

efs stuff

Browse source
This commit is contained in:
David McKnight 2006-06-14 15:52:00 +00:00
parent d3c8213b63
commit fdae0fb85b
1 changed files with 33 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
rse/plugins/org.eclipse.rse.eclipse.filesystem/src/org/eclipse/rse/eclipse/filesystem/RSEFileStoreRemoteFileWrapper.java
View file

@ -19,6 +19,7 @@ package org.eclipse.rse.eclipse.filesystem;
import java.io.ByteArrayInputStream;
import java.io.ByteArrayOutputStream;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.FileOutputStream;
import java.io.IOException;
@ -170,7 +171,7 @@ public class RSEFileStoreRemoteFileWrapper extends FileStore implements IFileSto
}
}
public InputStream openInputStream(int options, IProgressMonitor monitor) throws CoreException
public synchronized InputStream openInputStream(int options, IProgressMonitor monitor) throws CoreException
{
if (_remoteFile.exists())
{
@ -216,7 +217,16 @@ public class RSEFileStoreRemoteFileWrapper extends FileStore implements IFileSto
file = (IFile)UniversalFileTransferUtility.copyRemoteResourceToWorkspace(_remoteFile, monitor);
if (file != null && !file.isSynchronized(IResource.DEPTH_ZERO))
{
//file.getProject().refreshLocal(IResource.DEPTH_INFINITE, monitor);
/*
try
{
file.refreshLocal(IFile.DEPTH_ZERO, monitor);
}
catch (Exception e)
{
e.printStackTrace();
}
*/
}
}
}
@ -224,12 +234,30 @@ public class RSEFileStoreRemoteFileWrapper extends FileStore implements IFileSto
{
file = (IFile)UniversalFileTransferUtility.getTempFileFor(_remoteFile);
}
// if (!file.isSynchronized(IFile.DEPTH_ZERO))
// file.refreshLocal(IFile.DEPTH_ZERO, monitor);
if (!file.isSynchronized(IFile.DEPTH_ZERO) && !_remoteFile.getName().equals(".project"))
{
file.refreshLocal(IFile.DEPTH_ONE, monitor);
}
if (file != null)
{
if (file.isSynchronized(IFile.DEPTH_ZERO))
{
return file.getContents();
}
else
{
File osFile = file.getLocation().toFile();
try
{
FileInputStream instream = new FileInputStream(osFile);
return instream;
}
catch (Exception e)
{
}
}
}
}
return null;
}