1943 |
shared_dir.shdir_priority |
shared_dir.shdir_priority |
1944 |
dir |
dir |
1945 |
shared_dir.shdir_strategy |
shared_dir.shdir_strategy |
1946 |
(if (Unix32.diskused dir) = Int64.of_int (-1) then "---" |
(if (Unix32.diskused dir) = -1L then "---" |
1947 |
else (size_of_int64 (Unix32.diskused dir))) |
else (size_of_int64 (Unix32.diskused dir))) |
1948 |
(if (Unix32.diskfree dir) = Int64.of_int (-1) then "---" |
(if (Unix32.diskfree dir) = -1L then "---" |
1949 |
else (size_of_int64 (Unix32.diskfree dir))) |
else (size_of_int64 (Unix32.diskfree dir))) |
1950 |
(if (Unix32.percentfree dir) = (-1) then "---" |
(if (Unix32.percentfree dir) = (-1) then "---" |
1951 |
else string_of_int(Unix32.percentfree dir)) |
else string_of_int(Unix32.percentfree dir)) |
1969 |
0 |
0 |
1970 |
dir |
dir |
1971 |
"temp_directory" |
"temp_directory" |
1972 |
(if (Unix32.diskused dir) = Int64.of_int (-1) then "---" |
(if (Unix32.diskused dir) = -1L then "---" |
1973 |
else (size_of_int64 (Unix32.diskused dir))) |
else (size_of_int64 (Unix32.diskused dir))) |
1974 |
(if (Unix32.diskfree dir) = Int64.of_int (-1) then "---" |
(if (Unix32.diskfree dir) = -1L then "---" |
1975 |
else (size_of_int64 (Unix32.diskfree dir))) |
else (size_of_int64 (Unix32.diskfree dir))) |
1976 |
(if (Unix32.percentfree dir) = (-1) then "---" |
(if (Unix32.percentfree dir) = (-1) then "---" |
1977 |
else string_of_int(Unix32.percentfree dir)) |
else string_of_int(Unix32.percentfree dir)) |
1993 |
0 |
0 |
1994 |
dir |
dir |
1995 |
"core_directory" |
"core_directory" |
1996 |
(if (Unix32.diskused dir) = Int64.of_int (-1) then "---" |
(if (Unix32.diskused dir) = -1L then "---" |
1997 |
else (size_of_int64 (Unix32.diskused dir))) |
else (size_of_int64 (Unix32.diskused dir))) |
1998 |
(if (Unix32.diskfree dir) = Int64.of_int (-1) then "---" |
(if (Unix32.diskfree dir) = -1L then "---" |
1999 |
else (size_of_int64 (Unix32.diskfree dir))) |
else (size_of_int64 (Unix32.diskfree dir))) |
2000 |
(if (Unix32.percentfree dir) = (-1) then "---" |
(if (Unix32.percentfree dir) = (-1) then "---" |
2001 |
else string_of_int(Unix32.percentfree dir)) |
else string_of_int(Unix32.percentfree dir)) |
2563 |
let list = List.filter ( fun f -> f.file_state = FileDownloading ) list in |
let list = List.filter ( fun f -> f.file_state = FileDownloading ) list in |
2564 |
let list = Sort.list |
let list = Sort.list |
2565 |
( fun f1 f2 -> |
( fun f1 f2 -> |
2566 |
Int64.sub f2.file_size f2.file_downloaded <= |
f2.file_size -- f2.file_downloaded <= |
2567 |
Int64.sub f1.file_size f1.file_downloaded |
f1.file_size -- f1.file_downloaded |
2568 |
) list in |
) list in |
2569 |
simple_print_file_list false buf list o; |
simple_print_file_list false buf list o; |
2570 |
if !!done_files <> [] then |
if !!done_files <> [] then |