X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=session.tex;h=93f7d5ef6a6f9bf16176d565d3899806c262e5b3;hp=dd98e69ffd74cc868a830fa03e263e08ab7c1615;hb=04a547df13e4c672d95e1060e1ada9ae2e1fcb2f;hpb=88d22f4971adcbdb816c405a1375ae0a8d57bdde

diff --git a/session.tex b/session.tex
index dd98e69..93f7d5e 100644
--- a/session.tex
+++ b/session.tex
@@ -295,8 +295,8 @@ sia dal processo padre, per impostare il valore nel figlio, che da
 quest'ultimo, per sé stesso, in modo che il cambiamento di \textit{process
   group} sia immediato per entrambi; una delle due chiamate sarà ridondante,
 ma non potendo determinare quale dei due processi viene eseguito per primo,
-occorre eseguirle comunque entrambe per evitare di esporsi ad una
-\itindex{race~condition} \textit{race condition}.
+occorre eseguirle comunque entrambe per evitare di esporsi ad una \textit{race
+  condition}.
 
 Si noti come nessuna delle funzioni esaminate finora permetta di spostare un
 processo da una sessione ad un altra; infatti l'unico modo di far cambiare
@@ -1011,8 +1011,8 @@ funzione è originaria di BSD e per utilizzarla deve essere definito
 La sola differenza con \func{syslog} è quella di prendere invece di una lista
 di argomenti esplicita un unico argomento finale passato nella forma di una
 \macro{va\_list}; la funzione risulta utile qualora si ottengano gli argomenti
-dalla invocazione di un'altra funzione \index{funzioni!variadic}
-\textit{variadic} (si rammenti quanto visto in sez.~\ref{sec:proc_variadic}).
+dalla invocazione di un'altra funzione \textit{variadic} (si ricordi quanto
+visto in sez.~\ref{sec:proc_variadic}).
 
 Per semplificare la gestione della scelta del livello di priorità a partire
 dal quale si vogliono registrare i messaggi, le funzioni di gestione