X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=session.tex;h=93f7d5ef6a6f9bf16176d565d3899806c262e5b3;hp=10cc5cf12f4e71b63d5de7ece69c56e7e3a84d25;hb=7b43a7843d483c826a6ed13224208c615a23c4d6;hpb=9b7af600ff0f73bc946c9d160c320667c7a91347

diff --git a/session.tex b/session.tex
index 10cc5cf..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