Browse thread
- Pierre Weis
[
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: | Pierre Weis <weis@p...> |
| Subject: |
ng a directory. *)
let read_directory name =
let hand = opendir name in
let names = ref [] in
begin
try
while true do
let name = readdir hand in
if name <> "." && name <> ".." then
names := name :: !names
done
with
End_of_file ->
()
end;
List.rev (!names)