Due formattazioni rimaste indietro.

diff --git a/session.tex b/session.tex
index 75ac41395f48860506015dda84f452face570183..5714ad23d39b11f3d87ca69dc516a11754f1049c 100644 (file)
--- a/session.tex
+++ b/session.tex
@@ -692,13 +692,13 @@ standardizzata.
 Il servizio prevede vari meccanismi di notifica, e, come ogni altro servizio
 in un sistema unix-like, viene gestito attraverso un apposito programma,
 \cmd{syslogd}, che è anch'esso un \textsl{demone}. In generale i messaggi di
-errore vengono raccolti dal file speciale \file{/dev/log}, un \textit{socket}
-locale (vedi sez.~\ref{sec:sock_sa_local}) dedicato a questo scopo, o via
-rete, con un \textit{socket} UDP, o da un apposito demone, \cmd{klogd}, che
-estrae i messaggi del kernel.\footnote{i messaggi del kernel sono tenuti in un
-  buffer circolare e scritti tramite la funzione \func{printk}, analoga alla
-  \func{printf} usata in user space; una trattazione eccellente dell'argomento
-  si trova in \cite{LinDevDri}, nel quarto capitolo.}
+errore vengono raccolti dal file speciale \file{/dev/log}, un socket locale
+(vedi sez.~\ref{sec:sock_sa_local}) dedicato a questo scopo, o via rete, con
+un socket UDP, o da un apposito demone, \cmd{klogd}, che estrae i messaggi del
+kernel.\footnote{i messaggi del kernel sono tenuti in un buffer circolare e
+  scritti tramite la funzione \func{printk}, analoga alla \func{printf} usata
+  in user space; una trattazione eccellente dell'argomento si trova in
+  \cite{LinDevDri}, nel quarto capitolo.}
 
 Il servizio permette poi di trattare i vari messaggi classificandoli
 attraverso due indici; il primo, chiamato \textit{facility}, suddivide in