Hi Pascal,
I gave it a try, and I added some code to stop the Jetty server [1,2]. Your feedback is welcome!
On Sunday, we planning the release of BaseX 7.0.1, mainly due to some updates in our distribution files. If everything goes well, the Jetty stop feature will already be part of it..
All the best, Christian
[1] https://github.com/BaseXdb/basex-api/commit/a0394fa2587c080e7b9fa66ba1308bb6... [2] http://files.basex.org/releases/latest/ ___________________________
On Sat, Oct 22, 2011 at 9:37 PM, Pascal Heus pascal.heus@gmail.com wrote:
Hi: Under linux, I use the basexhttp script in the bin folder to start the BaseX server and Jetty HTTP server (for REST and Webdav)
To stop the process, I then copied the file into basexhttpstop nd added the stop keyword to the last line: java -cp "$CP" $VM org.basex.api.BaseXHTTP "$@" stop
However, this only seems to affect the BaseX server (Jetty continues to run and listen on port 8984). I can of course kill the process but would prefer for this to be available from the command line. Could this be adjusted?
thanks *P _______________________________________________ BaseX-Talk mailing list BaseX-Talk@mailman.uni-konstanz.de https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk