public
/
mail-server
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

It's a different metrics port...

This commit is contained in:
niten 2023-09-24 14:31:06 -07:00
parent 1b3cd2362b
commit 44f1bedbb0
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
mail-server.nix
View File

@ -75,6 +75,12 @@ in {
description = "Organizational unit containing users."; description = "Organizational unit containing users.";
default = "ou=members"; default = "ou=members";
}; };
metricsPort = mkOption {
type = port;
description = "Port on which to serve metrics.";
default = 5457;
};
}; };
images.ldap-proxy = mkOption { images.ldap-proxy = mkOption {