Обновление Jetty 6 до Jetty 7: что случилось с системным свойством "jetty.lib"? (-Djetty.lib = мой / Библиотека / реж)

Question

Похоже, что команда Jetty хотела провести некоторую весеннюю чистку между версиями 6 и 7, и похоже, что одно полезное системное свойство "jetty.lib" либо не существует, либо не работает, либо просто изменилось в неуказанномтаким образом, чтобы моя Jetty 6 легко работала с Jetty 7.

Я пытался искать в документах Jetty 7, но единственной ссылкой, которую я видел, было «некоторые часто используемые свойства (такие как» Jetty).домой ") все еще работаю, как раньше".

Итак, что мне не хватает?Я действительно хотел бы избежать возни с вещами в директориях дистрибутива Jetty (иначе я мог бы - и может быть, мне нужно? - просто использовать JETTY_BASE / lib / ext), и именно для этого "jetty.lib" был полезен.*

Answer 1

Хорошо, похоже, что ответ был скрыт в файле "start.config" (входит в start.jar), который определяет основные настройки пути. В частности, среди первых строк имеем:

---

# добавить свойство, определенное classpath

$ {path} .path свойство path

# добавить свойство, определенное библиотечной директорией

$ {lib} / ** существует $ {lib}

---

поэтому можно подумать, что свойство для использования будет:

java -jar start.jar -Dlib = mydir / lib

но это не тот случай: уловка в том, что здесь керли означают, что это должно быть «свойство» (а не «свойство или системное свойство»). И, следовательно, что действительно необходимо:

java -jar start.jar lib = mydir / lib

или, по крайней мере, это похоже на работу.

В качестве дополнительного бонуса, вы также можете переопределить start.config, выполнив

java -jar start.jar -DSTART = my-start.config ...

, который даст всю мощь метода переопределения, используемого для задания путей в целом.

Я надеюсь, что другие найдут это полезным.

ОБНОВЛЕНИЕ: Это Причал док объясняет большинство из вышеперечисленных еще лучше ...