X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=filestd.tex;h=d5772ed1e647a1d49af0658819a7add705a42906;hp=214fb2046721292044a5c27302ae77e3be99399d;hb=b3593007c4edd76ecbf7386967c1b25d27eed828;hpb=70885537614fe3332312bc9e9fcd900e04f22451

diff --git a/filestd.tex b/filestd.tex
index 214fb20..d5772ed 100644
--- a/filestd.tex
+++ b/filestd.tex
@@ -460,7 +460,7 @@ effettuato ogni volta che si chiama una funzione di libreria.
 Entrambi i flag (di errore e di end-of-file) possono essere cancellati usando
 la funzione \funcd{clearerr}, il cui prototipo è:
 \begin{prototype}{stdio.h}{void clearerr(FILE *stream)}
-  Cancella i flag di errore ed end-of-file di \param{stream}. 
+  Cancella i flag di errore ed \textit{end-of-file} di \param{stream}.
 \end{prototype}
 \noindent in genere si usa questa funzione una volta che si sia identificata e
 corretta la causa di un errore per evitare di mantenere i flag attivi, così da
@@ -1166,6 +1166,8 @@ inoltre ricordarsi di invocare \func{free} per liberare detto puntatore quando
 la stringa non serve più, onde evitare \itindex{memory~leak} \textit{memory
   leak}.
 
+% TODO verificare se mettere prototipi di \func{dprintf} e \func{vdprintf}
+
 Infine una ulteriore estensione GNU definisce le due funzioni \func{dprintf} e
 \func{vdprintf}, che prendono un file descriptor al posto dello
 \textit{stream}. Altre estensioni permettono di scrivere con caratteri
@@ -1644,6 +1646,9 @@ con \param{type}, che può essere uno dei seguenti:
   di blocco dello \textit{stream}.
 \end{basedescript}
 
+% TODO trattare \func{clearerr\_unlocked} 
+
+
 \itindend{thread}