Bureaucrats, editor, reviewer, Administrators
13,554
edits
Changes
Jump to navigation
Jump to search
no edit summary
|-
| '''Summary'''
|Indicates if the evaluation of a query with the specified query {{Code|$id}} has finished. If <code>falsetrue</code> is returned, the query is still running. An error will be raised if the query result was not cached has finished, or has already been retrieved.|-| '''Errors'''|{{Error|unknown|#Errors}} the supplied query id is unknown: The query result may already have been retrieved, or query execution may have been stopped.<br/>
|}
|-
| '''Summary'''
|Cancels the execution of a query with the specified query {{Code|$id}}, or drops the query result if it has already been executed.|-| '''Errors'''|{{Error|unknown|#Errors}} Nothing will happen if the supplied query id is unknown: The query result may already have been retrieved, or query execution may have been stopped.<br/>
|}
