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.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
participants (2)
-
Andy Bunce -
Christian Grün