Author: rob.stryker(a)jboss.com
Date: 2011-01-13 18:01:51 -0500 (Thu, 13 Jan 2011)
New Revision: 28210
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.rse.ui/src/org/jboss/ide/eclipse/as/rse/ui/RSEDeploymentPreferenceUI.java
Log:
JBIDE-7915 - trunk
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.rse.ui/src/org/jboss/ide/eclipse/as/rse/ui/RSEDeploymentPreferenceUI.java
===================================================================
---
trunk/as/plugins/org.jboss.ide.eclipse.as.rse.ui/src/org/jboss/ide/eclipse/as/rse/ui/RSEDeploymentPreferenceUI.java 2011-01-13
22:49:09 UTC (rev 28209)
+++
trunk/as/plugins/org.jboss.ide.eclipse.as.rse.ui/src/org/jboss/ide/eclipse/as/rse/ui/RSEDeploymentPreferenceUI.java 2011-01-13
23:01:51 UTC (rev 28210)
@@ -324,7 +324,7 @@
String root = home;
IPath root2 = new Path(root);
try {
- IHostFile file = service.getFile(root2.removeLastSegments(1).toOSString(),
root2.lastSegment(), new NullProgressMonitor());
+ IHostFile file = service.getFile(root2.removeLastSegments(1).toPortableString(),
root2.lastSegment(), new NullProgressMonitor());
if( file == null || !file.exists()) {
pm.done();
return getTestFailStatus("Server's Home folder " + root2 + " not
found on " + service.getName() + " for " + host.getName());
@@ -332,7 +332,7 @@
pm.worked(300);
root2 = root2.append(IConstants.SERVER).append(config);
- file = service.getFile(root2.removeLastSegments(1).toOSString(), root2.lastSegment(),
new NullProgressMonitor());
+ file = service.getFile(root2.removeLastSegments(1).toPortableString(),
root2.lastSegment(), new NullProgressMonitor());
if( file == null || !file.exists()) {
pm.done();
return getTestFailStatus("Server's config folder " + root2 + "
does not exist");