internal void addServerPlugin(ServerPlugin ServerPlugin)
 {
     ServerPlugin.onQuit += new LogDelegate(ServerPlugin_onQuit);
     ServerPlugin.onLog += new LogDelegate(delegate(string s) { log("[" + ServerPlugin.Name() + "]: " + s); });
     ServerPlugin.onOutboxMessage += new ServerPlugin.outboxDelegate(plugin_onOutboxMessage);
     ServerClasses.Add(ServerPlugin);
 }
 void plugin_onOutboxMessage(ServerPlugin Sender, Event ev)
 {
     ev._Source_FullyQualifiedName = Sender.Name();
     sourceHub(ev, EventTransfer.SERVERTOCLIENT);
 }
 public void sendEventFromPlugin(ServerPlugin Sender, Event ev)
 {
     ev._Source_FullyQualifiedName = Sender.Name();
     sendEvent(ev);
 }