Exemple #1
0
        private void InitializeChannels()
        {
            string ChannelName = ChannelName_base + Environment.UserName;

            var provider = new BinaryServerFormatterSinkProvider();

            provider.TypeFilterLevel = System.Runtime.Serialization.Formatters.TypeFilterLevel.Full;

            ServerChannel = new IpcServerChannel(ServerName, ChannelName, provider);
            ChannelServices.RegisterChannel(ServerChannel, false);

            Server = new JobServerImpl();
            RemotingServices.Marshal(Server, ServerName);

            Server.JobAdded += JobAddedHandler;
            Server.SoTAdded += SoTAddedHandler;
            Server.handlersAdded.Set(); // TODO: should we wait until UI has added handlers before setting this?
        }
Exemple #2
0
        private void InitializeChannels()
        {
            string ChannelName = ChannelName_base + WindowsIdentity.GetCurrent().User;

            var provider = new BinaryServerFormatterSinkProvider();

            provider.TypeFilterLevel = System.Runtime.Serialization.Formatters.TypeFilterLevel.Full;

            ServerChannel = new IpcServerChannel(ServerName, ChannelName, provider);
            ChannelServices.RegisterChannel(ServerChannel, false);

            Server = new JobServerImpl();
            RemotingServices.Marshal(Server, ServerName);

            Server.JobAdded          += JobAddedHandler;
            Server.SoTAdded          += SoTAddedHandler;
            Server.JobCollectionDone += JobCollectionAddedHandler; //Intentional: JobCollectionDone indicates that the master interpreter
                                                                   //has finished doing its thing and we can pass the completed job
                                                                   //collection on to the consumer
            Server.handlersAdded.Set();                            // TODO: should we wait until UI has added handlers before setting this?
        }
Exemple #3
0
 public JobCollectionImpl(JobServerImpl server, string id)
 {
     this.server = server;
     this.id     = id;
 }