Explain time limit for add_command().

aibasel · Jan 24, 2022 · 37a6258 · 37a6258
1 parent 883076f
commit 37a6258
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lab/experiment.py b/lab/experiment.py
@@ -203,7 +203,9 @@ def add_command(
         After *time_limit* seconds the signal SIGXCPU is sent to the
         command. The process can catch this signal and exit gracefully.
         If it doesn't catch the SIGXCPU signal, the command is aborted
-        with SIGKILL after five additional seconds.
+        with SIGKILL after five additional seconds. The time spent by a
+        command is the sum of time spent across all threads of the
+        process.
 
         The command is aborted with SIGKILL when it uses more than
         *memory_limit* MiB.