You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1378 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Salut à tous,
Voici mon problème :
Imaginons un out_channel oc connecté à un « broken pipe »
(relais brisé comme dit mon Linux francisé...).
Bon je fait
output_string oc "blabla\n" ;
flush oc
Il m'engueule, (exception Sys_error "Broken pipe"), normal.
Bon j'aime trouver le channel dans l'état où je l'ai trouvé donc
try
output_string oc "blabla\n" ;
flush oc
with
| Sys_error "Broken pipe" -> (* ouais peut être Sys_error _ *)
close_out oc
Le cercle vicieux typique paske close_out va appeler flush...
Bon c'est pas gravissime, je renonce :
(Pervasive.)exit retcode.
Mais là, play it again Sam, paske exit tente gentiment de me flusher
mes tampons ouverts, y compris celui pour lequel j'ai déjà essayé deux
fois. (Au passage l'échec de ``exit'' m'a pris par surprise).
Voici ma question :
En bref, comment fermer proprement mon oc, sans le flusher et
continuer ma route sans un out_channel qui me pèse sur la conscience.
Une piste et une dernière question :
Faut il rendre la primitive ``close_out_channel'' qui ferme sans
flusher accessible au commun des mortels ? Voire va-t-elle
fonctionner ?
Comment dire flusher en français ? Vider me semble un peu trop
général.
--Luc
The text was updated successfully, but these errors were encountered:
Original bug ID: 1378
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Salut à tous,
Voici mon problème :
Imaginons un out_channel oc connecté à un « broken pipe »
(relais brisé comme dit mon Linux francisé...).
Bon je fait
output_string oc "blabla\n" ;
flush oc
Il m'engueule, (exception Sys_error "Broken pipe"), normal.
Bon j'aime trouver le channel dans l'état où je l'ai trouvé donc
try
output_string oc "blabla\n" ;
flush oc
with
| Sys_error "Broken pipe" -> (* ouais peut être Sys_error _ *)
close_out oc
Le cercle vicieux typique paske close_out va appeler flush...
Bon c'est pas gravissime, je renonce :
(Pervasive.)exit retcode.
Mais là, play it again Sam, paske exit tente gentiment de me flusher
mes tampons ouverts, y compris celui pour lequel j'ai déjà essayé deux
fois. (Au passage l'échec de ``exit'' m'a pris par surprise).
Voici ma question :
En bref, comment fermer proprement mon oc, sans le flusher et
continuer ma route sans un out_channel qui me pèse sur la conscience.
Une piste et une dernière question :
Faut il rendre la primitive ``close_out_channel'' qui ferme sans
flusher accessible au commun des mortels ? Voire va-t-elle
fonctionner ?
Comment dire flusher en français ? Vider me semble un peu trop
général.
--Luc
The text was updated successfully, but these errors were encountered: