anchor.diff:        '';
   
         script = ''
  -        ${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpPort=${toString cfg.port} ${concatStringsSep " " cfg.extraOptions}
  +        ${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpListenAddress=${cfg.host} \
  +                                                  --httpPort=${toString cfg.port} \
  +                                                  --prefix=${cfg.prefix} \
  +                                                  ${concatStringsSep " " cfg.extraOptions}
         '';
   
         postStart = ''
  -        until ${pkgs.curl}/bin/curl -s -L localhost:${toString cfg.port} ; do
  +        until ${pkgs.curl}/bin/curl -s -L ${cfg.host}:${toString cfg.port}${cfg.prefix} ; do
             sleep 10
           done
           while true ; do
  -          index=`${pkgs.curl}/bin/curl -s -L localhost:${toString cfg.port}`
  +          index=`${pkgs.curl}/bin/curl -s -L ${cfg.host}:${toString cfg.port}${cfg.prefix}`
             if [[ !("$index" =~ 'Please wait while Jenkins is restarting' ||
                     "$index" =~ 'Please wait while Jenkins is getting ready to work') ]]; then
               exit 0
  
positive.code:       extraOptions = mkOption {
          type = types.listOf types.str;
          default = [ ];
          example = [ "--debug=9" "--httpListenAddress=localhost" ];
          description = ''
            Additional command line arguments to pass to Jenkins.
          '';
  
negative.code:         '';
        };
  
        host = mkOption {
          default = "0.0.0.0";
          example = "localhost";
          type = types.str;
          description = ''
            Specifies the bind adress on which the jenkins HTTP interface listens.
            The default is the wildcard adress.
          '';
        };
  
        port = mkOption {
          default = 8080;
          type = types.int;
          description = ''
            Specifies port number on which the jenkins HTTP interface listens.
            The default is 8080.
          '';
        };
  
        prefix = mkOption {
          default = "";
          example = "/jenkins";
          type = types.str;
          description = ''
            Specifies a urlPrefix to use with jenkins.
            If the example /jenkins is given, the jenkins server will be
            accessible using localhost:8080/jenkins.
          '';
        };
  
  