Merge pull request #320 from korpling/document-query-timeout

Document query_timeout config parameter

Author: thomaskrause

docs/src/rest/configuration.md

@@ -13,7 +13,11 @@ host = "localhost"
 graphannis = "data/"
 sqlite = "service.sqlite"
 disk_based = false
+# Use 25% Of the free memory
 cache = {PercentOfFreeMemory = 25.0}
+# Optional timeout for queries in seconds. No timeout is applied if parameter is
+# not given.
+query_timeout = 60
 
 [logging]
 debug = false
@@ -56,6 +60,8 @@ cache = {FixedMaxMemory = 8000}
 ```
 at most 8 GB of RAM.
 
+Queries can be aborted automatically after a specific timeout, by setting the `query_timeout` parameter which specifies the timeout in seconds.
+
 ## [logging] section
 
 Per default, graphANNIS will only output information, warning and error