handling of signal SIGINT and brutal disconnections