From 8f6d5d97feff84bb4e3248eed44962b4264152c8 Mon Sep 17 00:00:00 2001
From: Thomas Gerbet <thomas@gerbet.me>
Date: Sun, 22 Oct 2023 14:52:05 +0200
Subject: [PATCH] jetty: 11.0.14 -> 11.0.17

Fixes CVE-2023-44487, CVE-2023-40167, CVE-2023-36478, CVE-2023-36479, CVE-2023-41900

https://github.com/jetty/jetty.project/releases/tag/jetty-11.0.17
https://github.com/jetty/jetty.project/releases/tag/jetty-11.0.16
https://github.com/jetty/jetty.project/releases/tag/jetty-11.0.15
---
 pkgs/servers/http/jetty/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/servers/http/jetty/default.nix b/pkgs/servers/http/jetty/default.nix
index 876189343f23..4623284c6fe4 100644
--- a/pkgs/servers/http/jetty/default.nix
+++ b/pkgs/servers/http/jetty/default.nix
@@ -2,10 +2,10 @@
 
 stdenv.mkDerivation rec {
   pname = "jetty";
-  version = "11.0.14";
+  version = "11.0.17";
   src = fetchurl {
     url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz";
-    sha256 = "sha256-lmS9B5dXJAc9j/RVs2sqMRaj1C5CN2trTszUXfPfHI4=";
+    hash = "sha256-f4OQArvj+v3zY4jOV57qTPLrLpbkSmuvMGl0gsmH2gE=";
   };
 
   dontBuild = true;