bug#45314: ‘guix discover’ polls

2020-12-20 Thread Mathieu Othacehe
Hey Ludo, > How about the change below? I think it looks nice! I pushed it as f9978346e73359ac1d8b88c9ed874edc7225582b. Thanks, Mathieu

bug#45314: ‘guix discover’ polls

2020-12-18 Thread Ludovic Courtès
Hi! ‘guix discover’ polls with 100ms intervals: --8<---cut here---start->8--- 18:00:57 poll([{fd=14, events=POLLIN}, {fd=16, events=POLLIN}], 2, 100) = 0 (Timeout) 18:00:57 rt_sigprocmask(SIG_BLOCK, NULL, [], 8) = 0 18:00:57 poll([{fd=14, events=POLLIN}, {fd=1