X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/InterpreterRunnerConfiguration.java b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/InterpreterRunnerConfiguration.java index d2b83cc..12e7d2e 100644 --- a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/InterpreterRunnerConfiguration.java +++ b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/InterpreterRunnerConfiguration.java @@ -219,4 +219,15 @@ public class InterpreterRunnerConfiguration { return false; } + public boolean useRelaunchOnScriptTermination() { + try { + return configuration + .getAttribute( + PHPLaunchConfigurationAttribute.RELAUNCH_ON_SCRIPT_TERMINATION, + false); + } catch (CoreException e) { + PHPLaunchingPlugin.log(e); + } + return false; + } }