Details
-
New Feature
-
Resolution: Duplicate
-
Major - P3
-
None
-
None
-
None
Description
Allow the user to specify the $timeLimit the query must run in; if the query isn't finished in that time an error should be generated.