return false;
}
+ public boolean useDBGSessionInBrowser() {
+ try {
+ return configuration.getAttribute(PHPLaunchConfigurationAttribute.OPEN_DBGSESSION_IN_BROWSER, true);
+ } catch(CoreException e) {
+ PHPLaunchingPlugin.log(e);
+ }
+ return false;
+ }
+
public void setEnvironment(String[] envp)
{
if (envp== null)