public void Dispose() { if ( inputReader != null ) { inputReader.Dispose(); } LogManager.Instance.Write( "Win32 Platform Manager Shutdown." ); }