X-Git-Url: http://git.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/DebuggerRunner.java b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/DebuggerRunner.java
index ab6157c..13c01d4 100644
--- a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/DebuggerRunner.java
+++ b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/DebuggerRunner.java
@@ -26,12 +26,14 @@ public class DebuggerRunner extends InterpreterRunner {
 
 	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);
@@ -82,7 +84,7 @@ public class DebuggerRunner extends InterpreterRunner {
 	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;