/// <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(); }