flush file buffer, etc

From: John Skaller (skaller@maxtal.com.au)
Date: Mon Aug 30 1999 - 19:36:48 MET DST


Message-Id: <3.0.6.32.19990831033648.009647e0@mail.triode.net.au>
Date: Tue, 31 Aug 1999 03:36:48 +1000
To: caml-list@inria.fr
From: John Skaller <skaller@maxtal.com.au>
Subject: flush file buffer, etc

How do I flush a Unix.file_descr?
Deterimine if a file_descr isatty?
Get the Unix fd as an integer?

-------------------------------------------------------
John Skaller email: skaller@maxtal.com.au
                http://www.maxtal.com.au/~skaller
                phone: 61-2-96600850
                snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:24 MET