1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-13 20:15:22 +02:00

[206642] changes to allow for java 1.4 on server

This commit is contained in:
David McKnight 2007-10-17 18:54:23 +00:00
parent 34cf468e73
commit df7df72da7

View file

@ -1094,12 +1094,15 @@ public class CommandMinerThread extends MinerThread
DataElement object = null; DataElement object = null;
if (parsedMsg.type.equals("prompt")) if (parsedMsg.type.equals("prompt"))
{ {
if (fileName.indexOf("~") != -1) int tildaIndex = fileName.indexOf("~");
if (tildaIndex == 0)
{ {
String userHome = System.getProperty("user.home"); String userHome = System.getProperty("user.home");
fileName = fileName.replace("~", userHome);
fileName = userHome + fileName.substring(1);
} }
File promptFile = new File(fileName); File promptFile = new File(fileName);
if (promptFile.exists()) if (promptFile.exists())
{ {