142 |
mutable file_last_seen : int; |
mutable file_last_seen : int; |
143 |
mutable file_priority : int; |
mutable file_priority : int; |
144 |
mutable file_uids : Uid.t list; |
mutable file_uids : Uid.t list; |
145 |
|
mutable file_sub_files : (string * int64) list; |
146 |
} |
} |
147 |
|
|
148 |
type user_info = { |
type user_info = { |
324 |
file_last_seen = BasicSocket.last_time (); |
file_last_seen = BasicSocket.last_time (); |
325 |
file_priority = 0; |
file_priority = 0; |
326 |
file_uids = []; |
file_uids = []; |
327 |
|
file_sub_files = []; |
328 |
} |
} |
329 |
|
|