Comment author: administrator

Lorsque j'utilise la fonction Unix.establish_server en donnant une
fonction f qui écrit dans le out_channel en paramètre sans faire 'flush
chanout',
Et qui laisse donc des donnees dans le buffer.

survient dans la fonction Unix.establish_server, lors du 'close_out
outchan' qui se trouve à la fin de la boucle while.

Normal, puisque le code de unix.ml essaye de fermer deux fois le socket:
] close_in inchan;
] close_out outchan;

Et en plus, dans le mauvais ordre, c'est-a-dire que le socket est ferme
avant qu'on essaye d'ecrire les donnes du buffer de sortie.

C'est fixe dans la version de travail, ainsi que le bug qui consiste a
ne pas faire "exit" dans le fils quand il a fini de travailler...

-- Damien

Comment author: administrator

Lorsque j'utilise la fonction Unix.establish_server en donnant une
fonction f qui écrit dans le out_channel en paramètre sans faire 'flush
chanout', une erreur non rattrapée 'Sys_error("Bad file descriptor")'
survient dans la fonction Unix.establish_server, lors du 'close_out
outchan' qui se trouve à la fin de la boucle while. La communication
avec le client est du coup brutalement coupée.

En effet, c'est un bug dans establish_server: il faut faire close_out
avant close_in, car les deux canaux font référence au même descripteur
de fichier, et close_out a besoin que le descripteur soit encore
ouvert pour faire flush, alors que close_in s'en fiche.

Je corrige de ce pas.

• Xavier