420 |
let addr_is_ip addr = addr.addr_name = "" |
let addr_is_ip addr = addr.addr_name = "" |
421 |
*) |
*) |
422 |
|
|
423 |
let upload_counter = ref Int64.zero |
let upload_counter = ref Int64.zero |
424 |
let download_counter = ref Int64.zero |
let download_counter = ref Int64.zero |
425 |
let nshared_files = ref 0 |
let nshared_files = ref 0 |
426 |
let nshared_bytes = ref Int64.zero |
let nshared_bytes = ref Int64.zero |
427 |
let shared_counter = ref Int64.zero |
let shared_counter = ref Int64.zero |
441 |
| Field_Uid -> "uid" |
| Field_Uid -> "uid" |
442 |
| Field_Bitrate -> "bitrate" |
| Field_Bitrate -> "bitrate" |
443 |
| Field_Codec -> "codec" |
| Field_Codec -> "codec" |
444 |
|
| Field_Filerating -> "rating" |
445 |
|
| Field_Lastseencomplete -> "lastcompl" |
446 |
|
| Field_Medialength -> "mlen" |
447 |
|
| Field_Mediacodec -> "mediacodec" |
448 |
| Field_UNKNOWN s -> s |
| Field_UNKNOWN s -> s |
449 |
|
|
450 |
let field_of_string t = |
let field_of_string t = |
462 |
| "uid" -> Field_Uid |
| "uid" -> Field_Uid |
463 |
| "bitrate" -> Field_Bitrate |
| "bitrate" -> Field_Bitrate |
464 |
| "codec" -> Field_Codec |
| "codec" -> Field_Codec |
465 |
|
| "rating" -> Field_Filerating |
466 |
|
| "lastcompl" -> Field_Lastseencomplete |
467 |
|
| "mlen" -> Field_Medialength |
468 |
|
| "mediacodec" -> Field_Mediacodec |
469 |
| _ -> Field_UNKNOWN t |
| _ -> Field_UNKNOWN t |
470 |
|
|
471 |
let escaped_string_of_field tag = |
let escaped_string_of_field tag = |