On Sat, Mar 3, 2012 at 11:23 PM, Christian Grün <christian.gruen@gmail.com> wrote:

> 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