[jetty-users] "jetty.sh stop" problem for 7.6.1 on Linux

["Jeff Palmer" <info@xxxxxxxxxxxxxxxxx>]

In my tests of 7.6.1, I found that stop only kills the daemon process, but not the actual server.  It can be worked around, by then killing server your self, but it might cause file damage, etc depending on exactly what is happening at the time.