如何关闭jetty服务

有人分配给我壹个任务：去寻找壹种更好的停止 Jetty 服务器的方法，而在此之前我们是通过在命令行窗口中输入 Ctrl + C 或者在任务管理器中结束相应进程的方式来关闭 Jetty 服务器。于是我在网上搜索这个问题的解决方案：如何通过命令行关闭它而不是纯粹靠运气。最后在我们壹个同事的博客文章中，他解释了如何通过 ant 脚本启动和关闭 Jetty ，我才得以找到壹种使用命令行关闭服务器的方法。
假设你在使用 Jetty7 eclipse 版本，为了启动 Jetty （当然这个我们都知道），人们通过使用如下命令：
java -jar start.jar

但是如果你想通过命令行关闭 Jetty 服务器，你不得不在启动服务器时传入两个 JVM 属性，例如：
java -DSTOP.PORT=8079 -DSTOP.KEY=secret -jar start.jar

为了关闭 Jetty，你需要提供与启动 Jetty 服务器时相同的参数才行：

java -DSTOP.PORT=8079 -DSTOP.KEY=secret -jar start.jar -–stop