public override void pause() { this.m_Paused = true; if (this.m_PipeDestination != null) this.m_PipeDestination.pause(); }