upgrade gretty to 5.0.1 and use jetty12

manolo · manolo · commit 38eb73f80337 · 2026-02-16T14:27:08.000+01:00
Gretty 4.1.10 uses the deprecated archivePath property which was
removed in Gradle 9, causing jettyStartWar to fail with:
"Could not get unknown property 'archivePath' for task ':war'"
diff --git a/build.gradle b/build.gradle
@@ -11,7 +11,7 @@ buildscript {
 
 plugins {
     id 'war'
-    id 'org.gretty' version '4.1.10'
+    id 'org.gretty' version '5.0.1'
     id 'com.vaadin'
 }
 
@@ -25,7 +25,7 @@ repositories {
 
 gretty {
     contextPath = "/"
-    servletContainer = 'jetty11'
+    servletContainer = 'jetty12'
 }
 
 // The following pnpmEnable = false is not needed as npm is used by default,

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ buildscript {`
`11`	`11`
`12`	`12`	`plugins {`
`13`	`13`	`id 'war'`
`14`		`- id 'org.gretty' version '4.1.10'`
	`14`	`+ id 'org.gretty' version '5.0.1'`
`15`	`15`	`id 'com.vaadin'`
`16`	`16`	`}`
`17`	`17`
`@@ -25,7 +25,7 @@ repositories {`
`25`	`25`
`26`	`26`	`gretty {`
`27`	`27`	`contextPath = "/"`
`28`		`- servletContainer = 'jetty11'`
	`28`	`+ servletContainer = 'jetty12'`
`29`	`29`	`}`
`30`	`30`
`31`	`31`	`// The following pnpmEnable = false is not needed as npm is used by default,`