eclipse plugin: Replace the '\\' with '/' path separators...

...before returning the path
This commit is contained in:
Timotei Dolean 2011-07-16 20:57:55 +00:00
parent 720a70edfc
commit 1fcf75d7fb

View file

@ -216,7 +216,8 @@ public class Preferences extends AbstractPreferenceInitializer
*/
public String getUserDir()
{
return getString( installPrefix_ + Constants.P_WESNOTH_USER_DIR ) + Path.SEPARATOR;
return getString( installPrefix_ + Constants.P_WESNOTH_USER_DIR )
.replace( '\\', '/' ) + Path.SEPARATOR;
}
/**
@ -226,7 +227,8 @@ public class Preferences extends AbstractPreferenceInitializer
*/
public String getWorkingDir()
{
return getString( installPrefix_ + Constants.P_WESNOTH_WORKING_DIR ) + Path.SEPARATOR;
return getString( installPrefix_ + Constants.P_WESNOTH_WORKING_DIR )
.replace( '\\', '/' ) + Path.SEPARATOR;
}
/**
@ -236,7 +238,8 @@ public class Preferences extends AbstractPreferenceInitializer
*/
public String getWMLToolsDir()
{
return getString( installPrefix_ + Constants.P_WESNOTH_WMLTOOLS_DIR ) + Path.SEPARATOR;
return getString( installPrefix_ + Constants.P_WESNOTH_WMLTOOLS_DIR )
.replace( '\\', '/' ) + Path.SEPARATOR;
}
/**
@ -245,7 +248,8 @@ public class Preferences extends AbstractPreferenceInitializer
*/
public String getWesnothExecutablePath()
{
return getString( installPrefix_ + Constants.P_WESNOTH_EXEC_PATH );
return getString( installPrefix_ + Constants.P_WESNOTH_EXEC_PATH )
.replace( '\\', '/' );
}
}
}