From a85b62270e036573658fa799b49ea8c1aef71a3c Mon Sep 17 00:00:00 2001 From: "dupont-y@univ-nantes.fr" Date: Mon, 30 Jun 2025 10:08:34 +0200 Subject: [PATCH] add threads parameters --- glicid/services/parallel.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/glicid/services/parallel.scm b/glicid/services/parallel.scm index f2d2bde..10074b5 100644 --- a/glicid/services/parallel.scm +++ b/glicid/services/parallel.scm @@ -37,6 +37,7 @@ (munge munge-configuration-munge (default munge)) (key-file munged-key-file (default (file-append munge "/etc/munge/munged.key"))) (socket-path socket-path (default "/var/run/munge/munge.socket.2")) + (threads numthreads (default 2)) (log-file munged-log-file (default "/var/log/munged.log"))) (define munged-service @@ -49,7 +50,8 @@ (start #~(make-forkexec-constructor (list #$(file-append munge "/sbin/munged") "-F" "-f" "-M" "-S" #$socket-path - "--key-file" #$key-file) + "--key-file" #$key-file + "--num-threads" threads) #:log-file #$log-file)) (stop #~(make-kill-destructor)))))))