public IProcess run(InterpreterRunnerConfiguration configuration,
ILaunch launch) {
- String[] env;
- String name, value;
- PHPDBGProxy newPHPDBGProxy = new PHPDBGProxy(configuration
- .useRemoteDebugger(), configuration.getRemoteSourcePath(),
- configuration.usePathTranslation(), configuration.getPathMap());
- int pos;
+ //String[] env;
+ //String name, value;
+ PHPDBGProxy newPHPDBGProxy = new PHPDBGProxy (configuration.useRemoteDebugger(),
+ configuration.getRemoteSourcePath(),
+ configuration.usePathTranslation(),
+ configuration.getPathMap(),
+ configuration.useRelaunchOnScriptTermination());
+ //int pos;
IProcess process = null;
PHPDebugTarget debugTarget = new PHPDebugTarget(launch, process);
protected void setEnvironmentVariables(
InterpreterRunnerConfiguration configuration, int listenPort) {
String DBGSessID;
- String env[] = new String[18];
+ //String env[] = new String[18];
long id = Math.round(Math.random() * 100000);
DBGSessID = "DBGSESSID=" + id + "@clienthost:" + listenPort;