Correzione da Mirko.
authorSimone Piccardi <piccardi@gnulinux.it>
Mon, 31 Mar 2003 16:03:58 +0000 (16:03 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Mon, 31 Mar 2003 16:03:58 +0000 (16:03 +0000)
prochand.tex

index 97eeb50..5fe5845 100644 (file)
@@ -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.\\
     \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}. \\
     \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}
 
   \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
 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