From: Simone Piccardi <piccardi@gnulinux.it>
Date: Mon, 31 Mar 2003 16:03:58 +0000 (+0000)
Subject: Correzione da Mirko.
X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=commitdiff_plain;h=1cfff906c9b4642d18aa657f2b69b24a10cc5af3;p=gapil.git

Correzione da Mirko.
---

diff --git a/prochand.tex b/prochand.tex
index 97eeb50..5fe5845 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -1010,9 +1010,7 @@ generato dalla terminazione di un figlio, avremo la certezza che la chiamata a
     \val{WIFSIGNALED} ha restituito un valore non nullo.\\
     \macro{WCOREDUMP(s)}   & Vera se il processo terminato ha generato un
     file si \textit{core dump}. Può essere valutata solo se
-    \val{WIFSIGNALED} ha restituito un valore non nullo.\footnote{questa
-    macro non è definita dallo standard POSIX.1, ma è presente come estensione
-    sia in Linux che in altri Unix.}\\
+    \val{WIFSIGNALED} ha restituito un valore non nullo.\footnotemark \\
     \macro{WIFSTOPPED(s)}  & Vera se il processo che ha causato il ritorno di
     \func{waitpid} è bloccato. L'uso è possibile solo avendo specificato
     l'opzione \const{WUNTRACED}. \\
@@ -1026,6 +1024,9 @@ generato dalla terminazione di un figlio, avremo la certezza che la chiamata a
   \label{tab:proc_status_macro}
 \end{table}
 
+\footnotetext{questa macro non è definita dallo standard POSIX.1, ma è
+    presente come estensione sia in Linux che in altri Unix.}
+
 Entrambe le funzioni di attesa restituiscono lo stato di terminazione del
 processo tramite il puntatore \param{status} (se non interessa memorizzare lo
 stato si può passare un puntatore nullo). Il valore restituito da entrambe le