object
  method copy_to_local_directory : string list -> unit
  method delete_local_directory : unit -> unit
  method local_directory : string
  method log_directory : string
  method task_delete_log_directory : unit -> unit
  method task_files_log_directory : unit -> string list
  method task_save_log_directory :
    Plasma_client.plasma_cluster -> string list -> unit
end