document -ign_exit option