added a signint handler and catching, but not really needed it seems