[Mldonkey-users] division by zero error

[Goswin Brederlow]

Hi,

in "driver/driverInteractive.ml:percent file" is a division by zero
error when the file_size if zero. This seems to be the case when
recover_temp was used.

This causes mldonkey to quit with SIGFPE on alpha, heres a fix:

let percent file = 
  let downloaded = Int32.to_float file.file_downloaded in
  let size = Int32.to_float file.file_size in
    if size = 0.0
    then 0.0
    else (downloaded *. 100.) /. size


MfG
        Goswin