Skip to content

Commit

Permalink
Merge 91180d7 into 9c85d84
Browse files Browse the repository at this point in the history
  • Loading branch information
edwintorok committed Mar 1, 2018
2 parents 9c85d84 + 91180d7 commit 6dda528
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions storage/storage_interface.ml
Original file line number Diff line number Diff line change
Expand Up @@ -118,14 +118,17 @@ type dp_stat_t = {

let string_of_dp_stat_t (x: dp_stat_t) = Jsonrpc.to_string (rpc_of_dp_stat_t x)

type device_config = (string * string) list
type probe = {
srs: (string * sr_info) list; (* SRs we found *)
uris: string list; (* other uris we found which could be probed recursively *)
configuration: (string * string) list;
complete: bool;
sr: sr_info option;
extra_info: (string * string) list;
}

type probe_result =
| Raw of string (* SMAPIv1 adapters return arbitrary data *)
| Probe of probe
| Probe of probe list

module Mirror = struct
type id = string
Expand Down

0 comments on commit 6dda528

Please sign in to comment.