-Come abbiamo accennato in \secref{sec:net_tcpip_general} ARP è il protocollo
-che si incarica di trovare le corrispondenze corrispondenze fra indirizzo IP e
-indirizzo hardware sulla scheda di rete. È evidente allora che nel nostro
-caso, essendo client e server sulla stessa rete, è scaduta la voce nella
-\textit{ARP cache}\footnote{la \textit{ARP chache} è una tabella mantenuta
- internamente dal kernel che contiene tutte le corrispondenze fra indirizzi
- IP e indirizzi fisici, ottenute appunto attraverso il protocollo ARP; le
- voci della tabella hanno un tempo di vita limitato, passato il quale scadono
- e devono essere nuovamente richieste.} relativa ad \texttt{anarres}, ed il
-nostro client ha iniziato ad effettuare richieste ARP sulla rete per sapere
-l'IP di quest'ultimo, che essendo scollegato non poteva rispondere. Anche per
-questo tipo di richieste esiste un timeout, per cui dopo un certo numero di
-tentativi il meccanismo si è interrotto, e l'errore riportato al programma a
-questo punto è stato \errcode{EHOSTUNREACH}, in quanto non si era più in grado
-di contattare il server.
+Come abbiamo accennato in sez.~\ref{sec:net_tcpip_general} ARP è il protocollo
+che si incarica di trovare le corrispondenze fra indirizzo IP e indirizzo
+hardware sulla scheda di rete. È evidente allora che nel nostro caso, essendo
+client e server sulla stessa rete, è scaduta la voce nella \textit{ARP
+ cache}\footnote{la \textit{ARP chache} è una tabella mantenuta internamente
+ dal kernel che contiene tutte le corrispondenze fra indirizzi IP e indirizzi
+ fisici, ottenute appunto attraverso il protocollo ARP; le voci della tabella
+ hanno un tempo di vita limitato, passato il quale scadono e devono essere
+ nuovamente richieste.} relativa ad \texttt{anarres}, ed il nostro client ha
+iniziato ad effettuare richieste ARP sulla rete per sapere l'IP di
+quest'ultimo, che essendo scollegato non poteva rispondere. Anche per questo
+tipo di richieste esiste un timeout, per cui dopo un certo numero di tentativi
+il meccanismo si è interrotto, e l'errore riportato al programma a questo
+punto è stato \errcode{EHOSTUNREACH}, in quanto non si era più in grado di
+contattare il server.