jetty 9.4.45.v20220203 -> 11.0.8

updated because plantuml-server requires Jetty 11+
main
Krzysztof Nazarewski 2 years ago
parent 5a5b7cbced
commit 5660c5f8b4
No known key found for this signature in database
GPG Key ID: 916D8B67241892AE
  1. 8
      pkgs/servers/http/jetty/default.nix

@ -2,17 +2,17 @@
stdenv.mkDerivation rec {
pname = "jetty";
version = "9.4.45.v20220203";
version = "11.0.8";
src = fetchurl {
url = "mirror://maven/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
sha256 = "sha256-wmM03qAnNsiEDsLkWyJKZIb3SPCRGCxTsgKBWwopMAw=";
url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz";
sha256 = "sha256-fHd0o5f+WLdbDK1nmSnHNKjDO0mV7+vkPs4zVEaqeyw=";
};
dontBuild = true;
installPhase = ''
mkdir -p $out
mv etc lib modules start.ini start.jar $out
mv etc lib modules start.jar $out
'';
meta = with lib; {

Loading…
Cancel
Save