[ptp-dev] Change to IRemoteExecutionServiceProvider

[Greg Watson <g.watson@xxxxxxxxxxxx>]

Hi,

We'd like to add two new methods to IRemoteExecutionServiceProvider:

	public void setRemoteToolsConnection(IRemoteConnection connection)

	public void setConfigLocation(String configLocation)

This will allow the service provider/location of the remote build service to be changed.

Does anyone have any objections to these changes?

Thanks,
Greg