From 31563d9dbe5c91b1fd73f873569bc65edc02e27b Mon Sep 17 00:00:00 2001
From: Denis Lehmann <denis@opaque.tech>
Date: Sun, 24 Apr 2022 21:23:01 +0200
Subject: [PATCH] change port type to int

---
 flake.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.nix b/flake.nix
index e35d313..4458877 100644
--- a/flake.nix
+++ b/flake.nix
@@ -39,9 +39,9 @@
             };
 
             port = mkOption {
-              type = types.str;
-              default = "8000";
-              example = "4000";
+              type = types.int;
+              default = 8000;
+              example = 4000;
               description = "Port on which the server listens";
             };