/*
* Select the default server.
*/
private void selectDefaultServer(ILaunchConfiguration configuration) throws CoreException {
if (serverCombo != null && serverCombo.getItemCount() > 0) {
// Select the default server
String projectName =
configuration.getAttribute(IPHPDebugConstants.PHP_Project, (String) null);
IProject project = null;
if (projectName != null) {
project = ResourcesPlugin.getWorkspace().getRoot().getProject(projectName);
}
Server defaultServer = ServersManager.getDefaultServer(project);
int nameIndex = serverCombo.indexOf(defaultServer.getName());
if (nameIndex > -1) {
serverCombo.select(nameIndex);
} else {
serverCombo.select(0);
}
server = ServersManager.getServer(serverCombo.getText());
}
}
