anchor.diff:          '';
         };
   
  +      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.
  +          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.
           '';
         };
   
  
positive.code:       '';
  
        script = ''
          ${pkgs.jdk}/bin/java -jar ${pkgs.jenkins} --httpPort=${toString cfg.port} ${concatStringsSep " " cfg.extraOptions}
        '';
  
        postStart = ''
          until ${pkgs.curl}/bin/curl -s -L localhost:${toString cfg.port} ; do
            sleep 10
          done
          while true ; do
            index=`${pkgs.curl}/bin/curl -s -L localhost:${toString cfg.port}`
            if [[ !("$index" =~ 'Please wait while Jenkins is restarting' ||
                    "$index" =~ 'Please wait while Jenkins is getting ready to work') ]]; then
              exit 0
  
negative.code:       extraOptions = mkOption {
          type = types.listOf types.str;
          default = [ ];
          example = [ "--debug=9" ];
          description = ''
            Additional command line arguments to pass to Jenkins.
          '';
  