Capture SIGINT in server.js