Altro accorpamento di sezioni e risistemazione dei riferimenti,

[gapil.git] / ipc.tex

diff --git a/ipc.tex b/ipc.tex
index 59c7f833eeb5fb0d0905ed7d249bca27bfddb326..1d085684f79bb80d538b6d9ea37875f3a46202ac 100644 (file)
--- a/ipc.tex
+++ b/ipc.tex
@@ -82,7 +82,7 @@ indicano la direzione del flusso dei dati.
 \end{figure}
 
 Chiaramente creare una pipe all'interno di un singolo processo non serve a
-niente; se però ricordiamo quanto esposto in sez.~\ref{sec:file_sharing}
+niente; se però ricordiamo quanto esposto in sez.~\ref{sec:file_shared_access}
 riguardo al comportamento dei file descriptor nei processi figli, è immediato
 capire come una pipe possa diventare un meccanismo di intercomunicazione. Un
 processo figlio infatti condivide gli stessi file descriptor del padre,