Re: [basex-talk] stopping the basexhttp server

Christian: does this help in any way: http://alaminsumon.blogspot.com/2009/06/how-to-stop-and-start-jetty-server-f...

Pascal,

thanks for the links; and, yes, I know about those solutions.. The second link you posted describes a straightforward approach to monitor Jetty - and the first link references a solution from one of the Jetty distributions that includes basically the same code as proposed by the second solution. I'd be happy if we found yet another solution that doesn't need to watch an additional port..

Christian