/// <summary>
/// Creates the P# network provider.
/// </summary>
private static void CreateNetworkProvider()
{
IO.PrettyPrintLine("... Creating network provider");
Container.NetworkProvider = new InterProcessNetworkProvider("localhost", "8000");
Container.RequestService = new ServiceHost(Container.NetworkProvider);
//host.Description.Behaviors.Remove(typeof(ServiceDebugBehavior));
//host.Description.Behaviors.Add(new ServiceDebugBehavior {
// IncludeExceptionDetailInFaults = true });
Uri address = new Uri("http://localhost:8000/request/" + Configuration.ContainerId + "/");
WSHttpBinding binding = new WSHttpBinding();
Container.RequestService.AddServiceEndpoint(typeof(IRemoteCommunication), binding, address);
Container.RequestService.Open();
}
/// <summary>
/// Creates the P# network provider.
/// </summary>
private static void CreateNetworkProvider()
{
IO.PrettyPrintLine("... Creating network provider");
Container.NetworkProvider = new InterProcessNetworkProvider("localhost", "8000");
Container.RequestService = new ServiceHost(Container.NetworkProvider);
//host.Description.Behaviors.Remove(typeof(ServiceDebugBehavior));
//host.Description.Behaviors.Add(new ServiceDebugBehavior {
// IncludeExceptionDetailInFaults = true });
Uri address = new Uri("http://localhost:8000/request/" + Configuration.ContainerId + "/");
WSHttpBinding binding = new WSHttpBinding();
Container.RequestService.AddServiceEndpoint(typeof(IRemoteCommunication), binding, address);
Container.RequestService.Open();
}
