Trattazione unont 2 e correzione varie indicizzazioni e

[gapil.git] / filestd.tex

diff --git a/filestd.tex b/filestd.tex
index 214fb2046721292044a5c27302ae77e3be99399d..d5772ed1e647a1d49af0658819a7add705a42906 100644 (file)
--- 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}