//return project.getLocation().toOSString() + "/" + getFileName();
IResource file = project.findMember(path);
- return file.getFullPath().toOSString();
+ return file.getProjectRelativePath().toOSString();
}
public String getFileName() {
return false;
}
+ public boolean useRelaunchOnScriptTermination() {
+ try {
+ return configuration
+ .getAttribute(
+ PHPLaunchConfigurationAttribute.RELAUNCH_ON_SCRIPT_TERMINATION,
+ false);
+ } catch (CoreException e) {
+ PHPLaunchingPlugin.log(e);
+ }
+ return false;
+ }
}