tomcat service: bump default tomcat to 8.5

See migration changelogs at
- 7.0 -> 8.0: https://tomcat.apache.org/migration-8.html
- 8.0 -> 8.5: https://tomcat.apache.org/migration-85.html
This commit is contained in:
danbst 2016-09-09 02:14:43 +00:00 committed by Bjørn Forsman
parent a01d4ee3f4
commit 63f9ef9f19

View File

@ -27,9 +27,9 @@ in
package = mkOption {
type = types.package;
default = pkgs.tomcat7;
defaultText = "pkgs.tomcat7";
example = lib.literalExample "pkgs.tomcat8";
default = pkgs.tomcat85;
defaultText = "pkgs.tomcat85";
example = lib.literalExample "pkgs.tomcatUnstable";
description = ''
Which tomcat package to use.
'';