789 です
原因は良く判らないのですが
catch(){ の中に exit(1); }
を書いたら UAE 出さずに終了するようになりました
本当にありがとうございました