GNU bug report logs - #64297
[Cuirass] Remote server not picking up job, losing workers

Previous Next

Package: guix;

Reported by: Ludovic Courtès <ludovic.courtes <at> inria.fr>

Date: Mon, 26 Jun 2023 08:55:02 UTC

Severity: normal

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #11 received at 64297 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: 64297 <at> debbugs.gnu.org
Subject: Re: bug#64297: [Cuirass] Remote server not picking up job, losing
 workers
Date: Sat, 01 Jul 2023 00:42:44 +0200

Ludovic Courtès <ludo <at> gnu.org> skribis:

> The problem is most likely with the connection-to-port caching in
> squee’s ‘connection-socket-port’, as can be seen in this other trace
> where I added ‘pk’ calls in ‘connection-socket-port’:

Confirmed, with a fix!

  https://notabug.org/cwebber/guile-squee/pulls/8

Ludo’.
This bug report was last modified 2 years and 15 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.