Update exit_SIGNINT.js