Fix prefetch "trigger" value's documentation in ARM

For the prefetch "trigger" parameter ARM states that when a cache
record with a lower TTL value is encountered during query processing,
it is refreshed. But in reality, the record is refreshed when the TTL
value is lower or equal to the configured "trigger" value.

Fix the documentation to make it match with with the code.

(cherry picked from commit ef344b1f52ff531a713a26aa7fbdb7715a7aadcf)

diff --git a/doc/arm/reference.rst b/doc/arm/reference.rst
index df93a75655165f905189a0b95660f1375370e885..825e8153c563896b8c1140771f9a91825d682c00 100644 (file)
--- a/doc/arm/reference.rst
+++ b/doc/arm/reference.rst
@@ -3656,7 +3656,7 @@ Tuning
 
    ``prefetch`` specifies the "trigger" TTL value at which prefetch
    of the current query takes place; when a cache record with a
-   lower TTL value is encountered during query processing, it is
+   lower or equal TTL value is encountered during query processing, it is
    refreshed. Valid trigger TTL values are 1 to 10 seconds. Values
    larger than 10 seconds are silently reduced to 10. Setting a
    trigger TTL to zero causes prefetch to be disabled. The default