File: servlet-api.patch

package info (click to toggle)
jetty9 9.4.57-1.1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 52,280 kB
  • sloc: java: 442,605; xml: 25,482; javascript: 1,039; sh: 908; jsp: 268; sql: 40; makefile: 16
file content (24 lines) | stat: -rw-r--r-- 844 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
From: Markus Koschany <apo@debian.org>
Date: Sat, 25 Dec 2021 23:35:43 +0100
Subject: servlet api

Forwarded: not-needed
---
 jetty-home/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

--- a/jetty-home/pom.xml
+++ b/jetty-home/pom.xml
@@ -284,10 +284,10 @@
                 <artifactItem>
                   <groupId>javax.servlet</groupId>
                   <artifactId>javax.servlet-api</artifactId>
-                  <version>3.1</version>
+                  <version>4.0.1</version>
                   <overWrite>true</overWrite>
                   <outputDirectory>${assembly-directory}/lib</outputDirectory>
-                  <destFileName>servlet-api-3.1.jar</destFileName>
+                  <destFileName>servlet-api-4.0.1.jar</destFileName>
                 </artifactItem>
 <!--
                 <artifactItem>