return false;
}
+ public boolean useRelaunchOnScriptTermination() {
+ try {
+ return configuration
+ .getAttribute(
+ PHPLaunchConfigurationAttribute.RELAUNCH_ON_SCRIPT_TERMINATION,
+ false);
+ } catch (CoreException e) {
+ PHPLaunchingPlugin.log(e);
+ }
+ return false;
+ }
}