From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA30254 for caml-redistribution; Tue, 31 Aug 1999 14:15:04 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA07264 for ; Mon, 30 Aug 1999 20:51:38 +0200 (MET DST) Received: from iggy.triode.net.au (iggy.triode.net.au [203.63.235.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA04169 for ; Mon, 30 Aug 1999 20:51:34 +0200 (MET DST) Received: from egret (pm1-2.triode.net.au [203.63.235.18]) by iggy.triode.net.au (8.9.3/8.8.8) with SMTP id DAA03217 for ; Tue, 31 Aug 1999 03:33:22 +1000 Message-Id: <3.0.6.32.19990831033648.009647e0@mail.triode.net.au> X-Sender: skaller@mail.triode.net.au X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.6 (32) Date: Tue, 31 Aug 1999 03:36:48 +1000 To: caml-list@inria.fr From: John Skaller Subject: flush file buffer, etc Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: weis 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