diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-07-20 18:43:31 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-07-20 18:43:31 +0200 |
| commit | e142e6001e710205e500ba8cc1e92a6be8185de7 (patch) | |
| tree | 6cd3efa21db252c79da7e59d45163fda0a658d3f /lib/config.ml | |
| parent | ae808c11a3ad37b3204448789c89e96da3fcdc7b (diff) | |
Add application bind port configuration.
Diffstat (limited to 'lib/config.ml')
| -rw-r--r-- | lib/config.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/config.ml b/lib/config.ml index 79c0109..e8628ae 100644 --- a/lib/config.ml +++ b/lib/config.ml @@ -69,4 +69,5 @@ let read_file ?(file = config_file) () = prerr_endline "[config.ml] Falling back to default config."; Ok default +let default_port = 8081 let config = match read_file () with Ok cfg -> cfg | Error _ -> default |