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")
|
2020-01-23 06:09:17 +08:00
|
|
|
api("org.eclipse.jetty:jetty-servlets")
|
2022-07-14 20:18:51 +08:00
|
|
|
api("org.eclipse.jetty:jetty-webapp") {
|
|
|
|
exclude(group: "org.eclipse.jetty.toolchain", module: "jetty-jakarta-servlet-api")
|
|
|
|
}
|
|
|
|
api("org.eclipse.jetty.websocket:websocket-jakarta-server") {
|
|
|
|
exclude(group: "org.eclipse.jetty.toolchain", module: "jetty-jakarta-servlet-api")
|
|
|
|
exclude(group: "org.eclipse.jetty.toolchain", module: "jetty-jakarta-websocket-api")
|
|
|
|
}
|
2021-12-01 04:32:16 +08:00
|
|
|
api("org.eclipse.jetty.websocket:websocket-jetty-server") {
|
2020-07-21 16:30:18 +08:00
|
|
|
exclude group: "org.eclipse.jetty", module: "jetty-jndi"
|
2022-07-14 20:18:51 +08:00
|
|
|
exclude(group: "org.eclipse.jetty.toolchain", module: "jetty-jakarta-servlet-api")
|
2020-01-10 21:48:43 +08:00
|
|
|
}
|
|
|
|
}
|