[basex-talk] stopping the basexhttp server

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