*/
public ILaunch getLaunch(ILaunchConfiguration configuration, String mode)
throws CoreException {
- return new Launch(configuration, mode, new PHPSourceLocator());
+ PHPSourceLocator locator = new PHPSourceLocator();
+ locator.initializeDefaults(configuration);
+ return new Launch(configuration, mode, locator);
}
/**