package stog_server_multi

  1. Overview
  2. Docs

Module Stog_server_multi.ConfigSource

Configuration of multi server.

Sourcetype sha256 = string
Sourcetype account = {
  1. login : string;
  2. name : string;
  3. email : string;
  4. passwd : sha256;
}
Sourcetype t = {
  1. accounts : account list;
  2. ssh_priv_key : string option;
  3. git_repo_url : string;
  4. dir : string;
  5. stog_dir : string option;
  6. editable_files : string list;
  7. not_editable_files : string list;
  8. http_url : Stog.Url.url_config;
  9. ws_url : Stog.Url.url_config;
  10. css_file : string option;
}
Sourceval read : string -> t

Read the given configuration file. Raises Failure in case of error.