X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=session.tex;h=45ca8e7cab3b1d30809d2c810398d1ae0fcce0bb;hp=26df18c843761f54e866ba4c8837b974da9fc7a8;hb=adbc2a4478d606025705a406603e6097584b9fa0;hpb=9b0f636834e8d92e87131bbb99d7d846bab1421a

diff --git a/session.tex b/session.tex
index 26df18c..45ca8e7 100644
--- a/session.tex
+++ b/session.tex
@@ -234,7 +234,8 @@ 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 race condition. 
+comunque entrambe per evitare di esporsi ad una race 
+condition\index{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