DisnixWebService: compile with OpenJDK8 to retain compatibility with Tomcat 9.x

(cherry picked from commit 4206a9bbba)
This commit is contained in:
Sander van der Burg
2022-03-15 20:06:20 +01:00
committed by github-actions[bot]
parent bcdca2c55d
commit e2d0740dfc

View File

@@ -32764,7 +32764,9 @@ with pkgs;
disnixos = callPackage ../tools/package-management/disnix/disnixos { };
DisnixWebService = callPackage ../tools/package-management/disnix/DisnixWebService { };
DisnixWebService = callPackage ../tools/package-management/disnix/DisnixWebService {
jdk = jdk8;
};
lkproof = callPackage ../tools/typesetting/tex/lkproof { };