I want to timeout long queries run via the client socket API (in fact using my node.js client) I start the server with:
basexserver -c "SET TIMEOUT 2" -S
This is the right approach, as the following example shows:
basexserver -c"set timeout 2" -S basexclient -Uadmin -Padmin -q"(1 to 1000000000)[.=0]"
Timeout exceeded.
It may be that your particular query is not regularly checked for timeouts? Can you interrupt it in the GUI? How does it look like?
Christian