X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=session.tex;h=98a308a89e450c1b8a25e2a748b4bcc2331a20a2;hp=a43f0789d0f5262e0048068503126ded5dd499c0;hb=9c3be0a6a901fad667ba1abcd8b46c712020cf26;hpb=25f4892b651c913f842f7d3640ae556e960559f0

diff --git a/session.tex b/session.tex
index a43f078..98a308a 100644
--- a/session.tex
+++ b/session.tex
@@ -1,3 +1,13 @@
+%% session.tex
+%%
+%% Copyright (C) 2000-2002 Simone Piccardi.  Permission is granted to
+%% copy, distribute and/or modify this document under the terms of the GNU Free
+%% Documentation License, Version 1.1 or any later version published by the
+%% Free Software Foundation; with the Invariant Sections being "Prefazione",
+%% with no Front-Cover Texts, and with no Back-Cover Texts.  A copy of the
+%% license is included in the section entitled "GNU Free Documentation
+%% License".
+%%
 \chapter{Terminali e sessioni di lavoro}
 \label{cha:session}
 
@@ -247,7 +257,7 @@ componente.  Inoltre la funzione distacca il processo da ogni terminale di
 controllo (torneremo sull'argomento in \secref{sec:sess_ctrl_term}) cui fosse
 in precedenza associato.
 
-  funzione ha successo soltanto se il processo non è già leader di un
+La funzione ha successo soltanto se il processo non è già leader di un
 \textit{process group}, per cui per usarla di norma si esegue una \func{fork}
 e si esce, per poi chiamare \func{setsid} nel processo figlio, in modo che,
 avendo questo lo stesso \acr{pgid} del padre ma un \acr{pid} diverso, non ci