So probably our best bet is to specify a path in /var/run/. Presumably older versions of Jetty error when given that argument though so we'll have to gate it on jetty version somehow.
Workarounds for now either:
Use a version of Jetty prior to this change
Manually make jetty base directory writable by the user the application is running as.
This change conflicts with our model of a read-only jetty base directory: https://github.com/eclipse/jetty.project/commit/837a36e3ec6d5bf8a5370d130a8eb4fe9217d251
A second commit makes the properties file path configurable https://github.com/eclipse/jetty.project/commit/aca2aa56adf8319523e81d96b31a71eb1f30da14
So probably our best bet is to specify a path in /var/run/. Presumably older versions of Jetty error when given that argument though so we'll have to gate it on jetty version somehow.
Workarounds for now either: