I'm trying to create an environment where I can have mutliple BaseX
Servers, and I can run 2-3 complex queries on them at a time. However, I
want to have the ability to stop a running XQuery script for any reason.
I assumed that's what would happen if I KILL the session using a BaseX
client. However when I try to KILL a session I have the following issues:
1) BaseX client freezes and I have to CTRL-C to stop it
2) The session I try to kill is removed from the list, but the process
continues to run. I have to force kill -9 the basex server for it to stop.
Should I report this as a bug or is there another way to kill the
running scripts? Thanks
