bug#26931: GuixSD rebooting fails when tmux is running

[Leo Famulari <leo@famulari.name>]

On Wed, May 17, 2017 at 09:39:45AM +0200, Ludovic Courtès wrote:
> This is on the bare metal and /etc/shepherd/do-not-kill does not exist,
> right?

Yes, on a Thinkpad x200s (x86_64) with a recent kernel. Nothing is
protected by a 'do-not-kill' file.

> We could always add a round of SIGKILL in the ‘wait’ loop, but that
> doesn’t sound right.

Agreed.

> Does /var/log/messages contain any hints as to why tmux wasn’t
> terminated?

Not from what I can see. I'll keep digging.

Here is the excerpt of /var/log/messages that spans the (forced) reboot.
The last message before I powered off the system is syslogd exiting
after receiving SIGTERM, and the first message after booting is syslogd
restarting.

May 16 19:11:41 localhost ntpd[326]: Listen normally on 4 wls1 192.168.1.103:123
May 16 19:11:41 localhost ntpd[326]: bind(24) AF_INET6 fde0:3702:f8fc:0:21e:65ff:fece:9a5a#123 flags 0x11 failed: Cannot assign requested address
May 16 19:11:41 localhost ntpd[326]: unable to create socket on wls1 (5) for fde0:3702:f8fc:0:21e:65ff:fece:9a5a#123
May 16 19:11:41 localhost ntpd[326]: failed to init interface for address fde0:3702:f8fc:0:21e:65ff:fece:9a5a
May 16 19:11:41 localhost ntpd[326]: bind(24) AF_INET6 2601:47:4101:9916:21e:65ff:fece:9a5a#123 flags 0x11 failed: Cannot assign requested address
May 16 19:11:41 localhost ntpd[326]: unable to create socket on wls1 (6) for 2601:47:4101:9916:21e:65ff:fece:9a5a#123
May 16 19:11:41 localhost ntpd[326]: failed to init interface for address 2601:47:4101:9916:21e:65ff:fece:9a5a
May 16 19:11:41 localhost ntpd[326]: Listen normally on 7 wls1 [fe80::21e:65ff:fece:9a5a%3]:123
May 16 19:11:42 localhost sshd[435]: Accepted publickey for leo from 192.168.1.101 port 42140 ssh2: RSA SHA256:[public key removed for privacy]
May 16 19:11:43 localhost sshd[437]: Received disconnect from 192.168.1.101 port 42140:11: disconnected by user
May 16 19:11:43 localhost sshd[437]: Disconnected from user leo 192.168.1.101 port 42140
May 16 19:11:43 localhost ntpd[326]: Listen normally on 8 wls1 [fde0:3702:f8fc:0:21e:65ff:fece:9a5a]:123
May 16 19:11:43 localhost ntpd[326]: Listen normally on 9 wls1 [2601:47:4101:9916:21e:65ff:fece:9a5a]:123
May 16 19:12:52 localhost syslogd: exiting on signal 15
May 16 19:13:40 localhost syslogd (GNU inetutils 1.9.4): restart