Updated 2018-08-12 05:16:56 by pooryorick

array donesearch arrayName searchId terminates an array search and destroys all the state associated with that search.

Synopsis  edit

array donesearch arrayName searchId

Description  edit

SearchId indicates which search on arrayName to destroy, and must have been the return value from a previous invocation of array startsearch. Returns an empty string.

This command should be considered to be deprecated. It is still supported in 8.6, but will probably be culled in 9.0.