Hi, "Ashish SHUKLA" <ashish...@lostca.se> writes:
> It seems when a substitute server is acting up, e.g. unreachable, or timing > out, is there an option to automatically timeout such substitute server, > instead of stalling on it ? The code in (guix scripts substitute) is supposed to time out, but apparently we’re missing something. At any rate, it should definitely time out quickly by default and move on to the next server. Ludo’.
