hydra-module: Add a `port' option.

This commit is contained in:
Ludovic Courtès 2011-05-05 10:07:56 +00:00
parent 63500acc37
commit dc9a118a04

View file

@ -17,6 +17,7 @@ let
+ ''HYDRA_DBI="${cfg.dbi}" '' + ''HYDRA_DBI="${cfg.dbi}" ''
+ ''HYDRA_CONFIG=${cfg.baseDir}/data/hydra.conf '' + ''HYDRA_CONFIG=${cfg.baseDir}/data/hydra.conf ''
+ ''HYDRA_DATA=${cfg.baseDir}/data '' + ''HYDRA_DATA=${cfg.baseDir}/data ''
+ ''HYDRA_PORT="${toString cfg.port}" ''
+ ''HYDRA_TRACKER="${cfg.tracker}" ;''; + ''HYDRA_TRACKER="${cfg.tracker}" ;'';
in in
@ -68,6 +69,13 @@ in
''; '';
}; };
port = mkOption {
default = 3000;
description = ''
TCP port the web server should listen to.
'';
};
minimumDiskFree = mkOption { minimumDiskFree = mkOption {
default = 5; default = 5;
description = '' description = ''