// note: SocketManager.AddListener erstellt eine kopie das _listeners array // darum gibt es jetzt eine neue funktion SocketManager.UpdateListener public ApplicationHost(string fileName, SocketManager sm) { if (fileName == null) throw new ArgumentNullException("fileName"); if (sm == null) throw new ArgumentNullException("sm"); this._fileName = fileName; this._socketManager = sm; this._socketManager.AddListener(this); this._interpretor = new ApplicationHostInterpretor(); }
public Writer(SocketManager sm) { this.socketManager = sm; this.SendBuffer.Add(MessagePriority.High, Queue.Synchronized(new Queue())); this.SendBuffer.Add(MessagePriority.Normal, Queue.Synchronized(new Queue())); this.SendBuffer.Add(MessagePriority.Low, Queue.Synchronized(new Queue()));
// private static int runR; // TODO: man kann keine zwei Reader starten public Reader(SocketManager sm) { if (sm == null) throw new ArgumentNullException("sm"); this.socketManager = sm;
public ApplicationHost(SocketManager sm) : this(SettingsHost.Instance.Settings.SocketFile, sm) { }
private void InternalConstruct(SocketManager sm) { this._clients = new ArrayList(); this._socketManager = sm; this._socketManager.AddListener(this); this._socketManager.Received += new ReceivedEvent(this.HandleRecieved); }
public BaseServer(SocketManager sm) { this.InternalConstruct(sm); }