看起来Jetty团队想要在版本6和版本7之间做一些春季清理,而且看起来似乎一个有用的系统属性"jetty.lib“要么不存在,要么不工作,或者只是以一种未指明的方式进行了更改,以便使我的Jetty6设置可以轻松地与Jetty7一起工作。
我尝试搜索Jetty7文档,但我看到的唯一参考资料是“一些常用的属性(如"jetty.home")仍然可以像以前一样工作”。
那么,我错过了什么?我真的希望避免在Jetty发行目录中打乱东西(否则我可以--也许我必须这么做?--只使用JETTY/lib/ext),这就是"jetty.lib“的用处。
发布于 2010-04-06 06:45:47
Ok看起来答案隐藏在"start.config“(捆绑在start.jar中)中,它定义了基本的路径设置。具体地说,在第一行中,我们有:
添加属性定义的类路径
${ 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...
这将给予用于完全设置路径的重新定义方法的全部能力。
我希望其他人能发现这一点。
更新:这个Jetty doc更好地解释了上面的大部分内容……
https://stackoverflow.com/questions/2573560
复制