public void Dispose() { if ( inputReader != null ) { inputReader.Dispose(); inputReader = null; } LogManager.Instance.Write( "OpenTK Platform Manager Shutdown." ); } #endregion IDisposable Members