From 44f1bedbb058c9de198a95d6ca14e65501b8028b Mon Sep 17 00:00:00 2001
From: niten <niten@fudo.org>
Date: Sun, 24 Sep 2023 14:31:06 -0700
Subject: [PATCH] It's a different metrics port...

---
 mail-server.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mail-server.nix b/mail-server.nix
index 6a854d7..544ae40 100644
--- a/mail-server.nix
+++ b/mail-server.nix
@@ -75,6 +75,12 @@ in {
         description = "Organizational unit containing users.";
         default = "ou=members";
       };
+
+      metricsPort = mkOption {
+        type = port;
+        description = "Port on which to serve metrics.";
+        default = 5457;
+      };
     };
 
     images.ldap-proxy = mkOption {