X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=socket.tex;h=b379719cf38d3c63289c30fc4694cdf9ed28e649;hp=ecf1a9eeb826183a1a6377e0cf76e52a1630e59a;hb=a93a0bac951085a52c4b33c42a607fc81f6868d2;hpb=45c2192b1414b9dfc1cef8bb718761c495ca33f4

diff --git a/socket.tex b/socket.tex
index ecf1a9e..b379719 100644
--- a/socket.tex
+++ b/socket.tex
@@ -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