Altre indicizzazioni, e correzione delle parole.

[gapil.git] / signal.tex

diff --git a/signal.tex b/signal.tex
index ea2fda61dca9e67cd83d70cb402a0a6ff54a1149..17101bfa58fff122f47400b4db1dd16c1e56e24d 100644 (file)
--- 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é