Browse thread
select (or polling) on in_channel?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Eijiro Sumii <eijiro_sumii@a...> |
| Subject: | Re: [Caml-list] select (or polling) on in_channel? |
Thanks to everyone for ideas on how to "select" Pervasives.in_channel. Since there seems to be no better solution than (1) hacking the low-level structure by using external C, or (2) reinventing the high-level library on top of Unix I/O, I'm thinking of submitting a feature wish at http://pauillac.inria.fr/bin/caml-bugs. It should be easy enough for the developers to implement, I hope... (I could contribute my own implementation if necessary, but I'm sure they will do better work.) -- Eijiro Sumii (http://www.cis.upenn.edu/~sumii/) Department of Computer and Information Science, University of Pennsylvania