Searched refs:do_exit (Results 1 – 1 of 1) sorted by relevance
88 do_exit='rm -f $log_file $trs_file; (exit $st); exit $st'89 trap "st=129; $do_exit" 190 trap "st=130; $do_exit" 291 trap "st=141; $do_exit" 1392 trap "st=143; $do_exit" 15