Changeset 10376
- Timestamp:
- 2005-08-01T14:35:32+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/file/FileManager.java
r10342 r10376 46 46 import org.greenstone.gatherer.gui.tree.DragTree; 47 47 import org.greenstone.gatherer.remote.RemoteFileQueue; 48 import org.greenstone.gatherer.remote.RemoteGreenstoneServer; 48 49 import org.greenstone.gatherer.util.DragComponent; 49 50 import org.greenstone.gatherer.util.Utility; … … 144 145 public void openFileInExternalApplication(File file) 145 146 { 147 // If we're using a remote Greenstone server, we need to download the file before viewing it... 148 if (Gatherer.isGsdlRemote) { 149 // ... but only if it is inside the collection and we haven't already downloaded it 150 if (file.getAbsolutePath().startsWith(Gatherer.getCollectDirectoryPath()) && file.length() == 0) { 151 RemoteGreenstoneServer.downloadCollectionFile(file); 152 } 153 } 154 146 155 Gatherer.self.spawnApplication(file); 147 156 }
Note:
See TracChangeset
for help on using the changeset viewer.