- In generale questa opzione serve per individuare un crash della macchina
- all'altro capo della connessione,\footnote{il crash di un processo di nuovo
- comporta la chiusura di tutti i file che aveva aperti e la relativa
- emissione degli opportuni segmenti FIN nel caso dei socket.} e viene usata
- sui server per evitare di mantenere impegnate le risorse dedicate a trattare
- delle connessioni in realtà terminate; abilitandola le connessioni
- effettivamente terminate vengono chiuse ed una \func{select} potrà rilevare
- la conclusione delle stesse e ricevere il relativo errore. Si tenga però
- presente che non si ha la certezza assoluta che un errore di
- \errcode{ETIMEDOUT} corrisponda ad una reale conclusione della connessione,
- il problema potrebbe essere dovuto ad un problema di routing che perduri per
- un tempo maggiore di quello impiegato nei vari tentativi di ritrasmissione
- del \textit{keep-alive}.
+ In generale questa opzione serve per individuare una caduta della
+ connessione,\footnote{il crash di un processo di nuovo comporta la chiusura
+ di tutti i file che aveva aperti e la relativa emissione degli opportuni
+ segmenti FIN nel caso dei socket.} e viene usata sui server per evitare di
+ mantenere impegnate le risorse dedicate a trattare delle connessioni in
+ realtà terminate. Abilitandola le connessioni effettivamente terminate
+ vengono chiuse ed una \func{select} potrà rilevare la conclusione delle
+ stesse e ricevere il relativo errore. Si tenga però presente che non si ha
+ la certezza assoluta che un errore di \errcode{ETIMEDOUT} corrisponda ad una
+ reale conclusione della connessione, il problema potrebbe essere dovuto ad
+ un problema di routing che perduri per un tempo maggiore di quello impiegato
+ nei vari tentativi di ritrasmissione del \textit{keep-alive}.