change port type to int

This commit is contained in:
Denis Lehmann 2022-04-24 21:23:01 +02:00
parent 08c3bd9715
commit 31563d9dbe

View file

@ -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";
};