Forzo un commit

diff --git a/session.tex b/session.tex
index 35ed018b848fdee76abe69346555042ea3390553..88b0d0054f851bf4551fa2b9608aea949ac02949 100644 (file)
--- a/session.tex
+++ b/session.tex
@@ -853,12 +853,12 @@ Imposta la maschera dei log al valore specificato.
 \bodydesc{La funzione restituisce il precedente valore.}
 \end{prototype}
 
-Le routine di gestione mantengono per ogni processo una maschera che determina
-quale delle chiamate effettuate a \func{syslog} verrà effettivamente
-registrata. La registrazione viene disabilitata per tutte quelle priorità che
-non rientrano nella maschera; questa viene settata usando la macro
-\code{LOG\_MASK(p)} dove \code{p} è una delle costanti di
-\secref{tab:sess_syslog_priority}. É disponibile anche la macro
+Le routine di gestione mantengono per ogni processo una maschera che
+determina quale delle chiamate effettuate a \func{syslog} verrà
+effettivamente registrata. La registrazione viene disabilitata per tutte
+quelle priorità che non rientrano nella maschera; questa viene settata
+usando la macro \code{LOG\_MASK(p)} dove \code{p} è una delle costanti di
+\secref{tab:sess_syslog_priority}. É inoltre disponibile anche la macro
 \code{LOG\_UPTO(p)} che permette di specificare automaticamente tutte le
 priorità fino ad un certo valore.