Patch from Anders Betn�for initializing the PHP source locator.

diff --git a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPLaunchConfigurationDelegate.java b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPLaunchConfigurationDelegate.java
index 6324404..881ad17 100644 (file)
--- a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPLaunchConfigurationDelegate.java
+++ b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPLaunchConfigurationDelegate.java
@@ -38,7 +38,9 @@ public class PHPLaunchConfigurationDelegate extends LaunchConfigurationDelegate
         */
        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);
        }
        
        /**