depot_autopilot, log/serial, docker and reboots

[Roman Iten]

Hello

For continuous testing, I have a docker container in which the
depot_autopilot run script is executed. For ARM targets, I include
`log/serial` which executes `picocom`. It works like a charm until the
point where the run script reboots the target and tries to reconnect to
the serial port which is still busy. `ps` reaveals that picocom is still
running, although it should have been killed by then.

Please note that this only happens when the run script is executed
within a docker container...

After tinkering around with it, I came up with this patch [1]. It works
for me when executing the run script "directly" as well as within the
docker container. But to be honest, I don't understand why (...it's only
required in a docker environment). I'd feel better if someone can
confirm that the patch is reasonable or how else to solve the problem.

Thanks, Roman

[1]
https://github.com/rite/genode/commit/c4c7bf56230d18480d672ba432d6958ff72ec69a

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20191003/85e69523/attachment.sig>