disconnection by INT signal