...
| Code Block |
|---|
sudo cp -r jetty/jetty-base/ jetty-distribution-9.3.24.v20180605/
sudo chown -R jetty:jetty jetty-distribution-9.3.24.v20180605/
sudo rm jetty
sudo ln -s jetty-distribution-9.3.24.v20180605/ jetty
|
idp-installer scriptet hackade /opt/jetty/bin/jetty.sh, jag valde att istället lägga till dessa variabler i /etc/default/jetty för att de skall följa med mellan uppgraderingarna.
...
| Code Block |
|---|
JETTY_HOME=/opt/jetty JETTY_BASE=/opt/jetty/jetty-base |
Starta upp jetty igen
| Code Block |
|---|
sudo /etc/init.d/jetty start |