diff options
| author | Emilio Jesus Gallego Arias | 2017-12-26 18:47:43 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-12-26 19:42:09 +0100 |
| commit | 6b09f69e4da3c1fd491dbc5b475195a95636f636 (patch) | |
| tree | 301066d6fd0bc77c5ac287c3b4d404eceb1c340d /dev/doc/xml-protocol.md | |
| parent | dea75d74c222c25f6aa6c38506ac7a51b339e9c6 (diff) | |
[ide] [doc] Document tweak to Query call.
Diffstat (limited to 'dev/doc/xml-protocol.md')
| -rw-r--r-- | dev/doc/xml-protocol.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/doc/xml-protocol.md b/dev/doc/xml-protocol.md index 18f6288f6f..b35571e9ca 100644 --- a/dev/doc/xml-protocol.md +++ b/dev/doc/xml-protocol.md @@ -330,6 +330,12 @@ the STM API, `force` triggers a `Join`. <string>${message}</string> </value> ``` + +Before 8.8, `Query` only executed the first command present in the +`query` string; starting with 8.8, the caller may include several +statements. This is useful for instance for temporarily setting an +option and then executing a command. + ------------------------------- |