From: Simone Piccardi <piccardi@gnulinux.it>
Date: Tue, 29 Aug 2006 18:03:44 +0000 (+0000)
Subject: Due formattazioni rimaste indietro.
X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=commitdiff_plain;h=6eef192bfba46e560a014f61f64d37863c1e7c82;p=gapil.git

Due formattazioni rimaste indietro.
---

diff --git a/session.tex b/session.tex
index 75ac413..5714ad2 100644
--- 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