From 3e34a202de2304564b9f867b8872cd7758b674d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Denis=20Rivi=C3=A8re?= <denis.riviere.gm@gmail.com>
Date: Thu, 23 May 2024 11:15:39 +0200
Subject: [PATCH] document the config option MPI_JOB_TIMEOUT

---
 doc/source/install_config.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/source/install_config.txt b/doc/source/install_config.txt
index d4ecb2d5..ebbc6511 100644
--- a/doc/source/install_config.txt
+++ b/doc/source/install_config.txt
@@ -424,6 +424,9 @@ Configuration items optional on the server side:
     MPI runner logging format as defined in the `logging
     <https://docs.python.org/library/logging.html>`_ module.
 
+  **MPI_JOB_TIMEOUT**
+    Job execution timeout in the MPI runner mode. The timeout applies to each job.
+
 Parallel job configuration:
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^