Plasma GitLab Archive
Projects Blog Knowledge

Class type Http_fs.http_stream_fs


class type http_stream_fs = object .. end

method read : read_flag list -> string -> Netchannels.in_obj_channel
Additional flag:
  • `Header h: Set these headers in the submitted GET request

method write : write_flag list -> string -> Netchannels.out_obj_channel
Additional flag:
  • `Header h: Set these headers in the submitted PUT request

method last_response_header : Nethttp.http_header
Returns the header of the HTTP response of the last operation. Generally, the header is set when the last operation returns normally (no exception was raised). In case of write, the header is first set when the stream is closed.

Raises Not_found if the last operation did not receive a header (or not fully).

The following methods are the same as in

Netfs.stream_fs. (For formal reasons we cannot inherit from this class type.)
method path_encoding : Netconversion.encoding option
method path_exclusions : (int * int) list
method nominal_dot_dot : bool
method size : Netfs.size_flag list -> string -> int64
method test : Netfs.test_flag list -> string -> Netfs.test_type -> bool
method test_list : Netfs.test_flag list -> string -> Netfs.test_type list -> bool list
method remove : Netfs.remove_flag list -> string -> unit
method rename : Netfs.rename_flag list -> string -> string -> unit
method symlink : Netfs.symlink_flag list -> string -> string -> unit
method readdir : Netfs.readdir_flag list -> string -> string list
method readlink : Netfs.readlink_flag list -> string -> string
method mkdir : Netfs.mkdir_flag list -> string -> unit
method rmdir : Netfs.rmdir_flag list -> string -> unit
method copy : Netfs.copy_flag list -> string -> string -> unit
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml