X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;f=socket.tex;h=9fac73dffedf011d8c07c6d0721b2bcd4aace550;hb=8f0266fc964bcdf2aa8d7791a24f05a0eda77556;hp=ecf1a9eeb826183a1a6377e0cf76e52a1630e59a;hpb=ae0f5a752ec86bf15b78031f4b33664a8c0b515b;p=gapil.git

diff --git a/socket.tex b/socket.tex
index ecf1a9e..9fac73d 100644
--- a/socket.tex
+++ b/socket.tex
@@ -390,7 +390,7 @@ problema e le relative soluzioni).
 \subsection{La struttura degli indirizzi IPv6}
 \label{sec:sock_sa_ipv6}
 
-Essendo IPv6 una estenzione di IPv4 i socket di tipo \texttt{PF\_INET6} sono
+Essendo IPv6 una estensione di IPv4 i socket di tipo \texttt{PF\_INET6} sono
 sostanzialmente identici ai precedenti; la parte in cui si trovano
 praticamente tutte le differenze è quella della struttura degli indirizzi. La
 struttura degli indirizzi è definita ancora in \texttt{netinet/in.h}.
@@ -632,13 +632,15 @@ di indirizzo e pu
 famiglia indicata non è valida entrambe le funzioni ritornano un valore
 negativo e settano la variabile \texttt{errno} al valore
 \texttt{EAFNOSUPPORT}. I prototipi delle suddette funzioni sono i seguenti:
-\begin{prototype}{int inet\_pton(int family, const char *src, void *dest)}   
+\begin{prototype}{sys/socket.h}
+{int inet\_pton(int family, const char *src, void *dest)}   
   Converte la stringa puntata da \texttt{src} nell'indirizzo binario da
   memorizzare all'indirizzo puntato da \texttt{dest}, restituendo 0 in caso di
   successo e 1 in caso di fallimento. 
 \end{prototype}
-\begin{prototype}{char *inet\_ntop(int family, const void *src, char *dest,
-    size\_t len)}
+
+\begin{prototype}{sys/socket.h}
+{char *inet\_ntop(int family, const void *src, char *dest, size\_t len)}
   Converte la struttura dell'indirizzo puntata da \texttt{src} in una stringa
   che viene copiata nel buffer puntato dall'indirizzo \texttt{dest}; questo
   deve essere preallocato dall'utente e la lunghezza deve essere almeno