Implemented sigint_handler