let read_pid_from_file name =
  let chan = open_in name in
  let doit () = int_of_string (input_line chanin
  try_finalize doit () (fun _ -> close_in chan) ()