X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=signal.tex;h=17101bfa58fff122f47400b4db1dd16c1e56e24d;hp=ea2fda61dca9e67cd83d70cb402a0a6ff54a1149;hb=d0d95bf3d4280c9b638c41b7d45e9877fb812119;hpb=4367a0c9bfa422d8667a79b1875a9f815019c3c8

diff --git a/signal.tex b/signal.tex
index ea2fda6..17101bf 100644
--- a/signal.tex
+++ b/signal.tex
@@ -305,8 +305,8 @@ definiti in vari standard.
     \hline
     A & L'azione predefinita è terminare il processo. \\
     B & L'azione predefinita è ignorare il segnale. \\
-    C & L'azione predefinita è terminare il processo e scrivere un \textit{core
-        dump}. \\
+    C & L'azione predefinita è terminare il processo e scrivere un 
+        \itindex{core~dump} \textit{core dump}. \\
     D & L'azione predefinita è fermare il processo. \\
     E & Il segnale non può essere intercettato. \\
     F & Il segnale non può essere ignorato.\\
@@ -525,12 +525,12 @@ segnali sono:
   processo, comporta anche la creazione di un
   \itindex{core~dump}\textit{core dump}.
 
-  In genere lo si può pensare come corrispondente ad una condizione di
-  errore del programma rilevata dall'utente. Per questo motivo non è opportuno
-  fare eseguire al gestore di questo segnale le operazioni di pulizia
-  normalmente previste (tipo la cancellazione di file temporanei), dato che in
-  certi casi esse possono eliminare informazioni utili nell'esame dei core
-  dump.\itindex{core~dump}
+  In genere lo si può pensare come corrispondente ad una condizione di errore
+  del programma rilevata dall'utente. Per questo motivo non è opportuno fare
+  eseguire al gestore di questo segnale le operazioni di pulizia normalmente
+  previste (tipo la cancellazione di file temporanei), dato che in certi casi
+  esse possono eliminare informazioni utili nell'esame dei \textit{core dump}.
+  \itindex{core~dump}
 
 \item[\const{SIGKILL}] Il nome è utilizzato per terminare in maniera immediata
   qualunque programma. Questo segnale non può essere né intercettato, né