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