2020-01-10 21:48:43 +08:00
|
|
|
plugins {
|
2020-01-23 03:24:37 +08:00
|
|
|
id "org.springframework.boot.starter"
|
2020-01-10 21:48:43 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
description = "Starter for using Jetty as the embedded servlet container. An alternative to spring-boot-starter-tomcat"
|
|
|
|
|
|
|
|
dependencies {
|
2022-07-14 20:18:51 +08:00
|
|
|
api("jakarta.servlet:jakarta.servlet-api")
|
|
|
|
api("jakarta.websocket:jakarta.websocket-api")
|
2022-11-06 08:57:18 +08:00
|
|
|
api("jakarta.websocket:jakarta.websocket-client-api")
|
2021-01-15 17:30:54 +08:00
|
|
|
api("org.apache.tomcat.embed:tomcat-embed-el")
|
2023-01-16 19:11:45 +08:00
|
|
|
api("org.eclipse.jetty.ee10:jetty-ee10-servlets")
|
|
|
|
api("org.eclipse.jetty.ee10:jetty-ee10-webapp")
|
2024-03-18 20:37:42 +08:00
|
|
|
api("org.eclipse.jetty.ee10.websocket:jetty-ee10-websocket-jakarta-server") {
|
2024-04-09 19:53:04 +08:00
|
|
|
exclude group: "jakarta.el", module: "jakarta.el-api"
|
2024-03-18 20:37:42 +08:00
|
|
|
exclude group: "org.eclipse.jetty", module: "jetty-jndi"
|
|
|
|
}
|
|
|
|
api("org.eclipse.jetty.ee10.websocket:jetty-ee10-websocket-jetty-server") {
|
2024-04-09 19:53:04 +08:00
|
|
|
exclude group: "jakarta.el", module: "jakarta.el-api"
|
2024-03-18 20:37:42 +08:00
|
|
|
exclude group: "org.eclipse.jetty", module: "jetty-jndi"
|
|
|
|
}
|
2020-01-10 21:48:43 +08:00
|
|
|
}
|