Version française
Home     About     Download     Resources     Contact us    
Browse thread
flush file buffer, etc
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Skaller <skaller@m...>
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