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: 3794 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Eric Cooper
Version: 3.08.4
OS: Debian GNU/Linux
Submission from: c-24-3-154-200.hsd1.pa.comcast.net (24.3.154.200)
If the server function that is passed to Unix.establish_server closes the
in_channel before returning, the establish_server code will attempt to close the
out_channel, causing this exception. (Server code might want to do this to
indicate an error condition to its client, for example.)
Here is code that reproduces the problem:
open Unix
let main port =
let proc input output =
close_in input
in
establish_server proc (ADDR_INET (inet_addr_any, port))
let () = main 7777
It seems that the close_out in establish_server is unnecessary anyway, since it
is about to call exit, which closes all open descriptors. When I modified
establish_server to omit the close_out call, my application worked fine.
The text was updated successfully, but these errors were encountered:
Original bug ID: 3794
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Eric Cooper
Version: 3.08.4
OS: Debian GNU/Linux
Submission from: c-24-3-154-200.hsd1.pa.comcast.net (24.3.154.200)
If the server function that is passed to Unix.establish_server closes the
in_channel before returning, the establish_server code will attempt to close the
out_channel, causing this exception. (Server code might want to do this to
indicate an error condition to its client, for example.)
Here is code that reproduces the problem:
It seems that the close_out in establish_server is unnecessary anyway, since it
is about to call exit, which closes all open descriptors. When I modified
establish_server to omit the close_out call, my application worked fine.
The text was updated successfully, but these errors were encountered: