161 |
(*************************************************************************) |
(*************************************************************************) |
162 |
|
|
163 |
let clear () = |
let clear () = |
164 |
update_sharedfiles 0 Int64.zero; |
update_sharedfiles 0 (Int64.of_int 0); |
165 |
update_downloadedfiles (); |
update_downloadedfiles (); |
166 |
update_servers (); |
update_servers (); |
167 |
update_updown 0 0 |
update_updown 0 0 |
213 |
|
|
214 |
|
|
215 |
let _ = |
let _ = |
216 |
update_sharedfiles 0 Int64.zero; |
update_sharedfiles 0 (Int64.of_int 0); |
217 |
update_downloadedfiles (); |
update_downloadedfiles (); |
218 |
update_servers (); |
update_servers (); |
219 |
update_updown 0 0; |
update_updown 0 0; |