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