handle of SIGINT done