have web wrapper also catch SIGINT