From mboxrd@z Thu Jan 1 00:00:00 1970 From: Konrad Hinsen Subject: Re: Increasing the timeout for shepherd services Date: Thu, 11 Jul 2019 20:38:27 +0200 Message-ID: References: <87r26wvbm5.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:55789) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hldxh-00054Q-Tx for guix-devel@gnu.org; Thu, 11 Jul 2019 14:38:34 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hldxf-0001hy-TB for guix-devel@gnu.org; Thu, 11 Jul 2019 14:38:33 -0400 In-Reply-To: <87r26wvbm5.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org Hi Ludo, > =E2=80=98read-pid-file=E2=80=99 in the Shepherd has a hard-coded default = value of 5 > seconds. You can change it for each service, but there=E2=80=99s current= ly no > way to change the default value globally. That's what I did: change it for each service. > The patch below adds a SRFI-39 parameter in the Shepherd that would > allow you to change the default PID file delay globally. That sounds useful. Beyond my immediate problem, it seems weird to hard-code a delay in the Shepherd source code. Konrad.