发现机泵泄漏时，应立即切换机泵。