| # The XMLs we expect (order is important) |
| XML|${jetty.home}/etc/jetty.xml |
| XML|${jetty.home}/etc/jetty-http.xml |
| |
| # The LIBs we expect (order is irrelevant) |
| LIB|${jetty.home}/lib/jetty-http-9.3.jar |
| LIB|${jetty.home}/lib/jetty-io-9.3.jar |
| LIB|${jetty.home}/lib/jetty-schemas-3.1.jar |
| LIB|${jetty.home}/lib/jetty-server-9.3.jar |
| LIB|${jetty.home}/lib/jetty-util-9.3.jar |
| LIB|${jetty.home}/lib/jetty-xml-9.3.jar |
| LIB|${jetty.home}/lib/servlet-api-3.1.jar |
| |
| # The Properties we expect (order is irrelevant) |
| # (this is the property we actually set in jetty.base) |
| PROP|jetty.http.port=9090 |
| PROP|from-module=old |
| PROP|the-future=is-new |
