Implement -no-quit option, by Xavier Gnata.