Fix servers list location

This commit is contained in:
daragh 2024-05-21 07:32:25 +01:00
parent 183f5a0e7d
commit 4637777e5c
No known key found for this signature in database
2 changed files with 5 additions and 6 deletions

View file

@ -26,17 +26,16 @@ in {
type = types.port; type = types.port;
default = 9001; default = 9001;
}; };
#list of servers passed in for monitoring
servers = mkOption {
type = types.listOf types.str;
};
}; };
collecter_port = mkOption { collecter_port = mkOption {
type = types.port; type = types.port;
default = 9002; default = 9002;
}; };
#list of servers passed in for monitoring
servers = mkOption {
type = types.listOf types.str;
};
}; };
config = config =