public void SetExternalConsoleHandler(ExternalConsoleHandler handler)
 {
     if (handler != null && externalConsoleHandler != null)
     {
         throw new InvalidOperationException("External console handler already set");
     }
     externalConsoleHandler = handler;
 }
Beispiel #2
0
		public void SetExternalConsoleHandler (ExternalConsoleHandler handler)
		{
			if (externalConsoleHandler != null)
				throw new InvalidOperationException ("External console handler already set");
			externalConsoleHandler = handler;
		}