ILaunch launch) {
//String[] env;
//String name, value;
- PHPDBGProxy newPHPDBGProxy = new PHPDBGProxy(configuration
- .useRemoteDebugger(), configuration.getRemoteSourcePath(),
- configuration.usePathTranslation(), configuration.getPathMap());
+ PHPDBGProxy newPHPDBGProxy = new PHPDBGProxy (configuration.useRemoteDebugger(),
+ configuration.getRemoteSourcePath(),
+ configuration.usePathTranslation(),
+ configuration.getPathMap(),
+ configuration.useRelaunchOnScriptTermination());
//int pos;
IProcess process = null;