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
However i am not seeing a timeout when executing queries. Am I doing this the right way?
/Andy
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
Ok thanks I will investigate.
On Sat, Mar 3, 2012 at 11:23 PM, Christian Grün christian.gruen@gmail.comwrote:
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
basex-talk@mailman.uni-konstanz.de
-
Andy Bunce -
Christian Grün