mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
The fds in O_APPEND state may have changed by the child. The local seek state needs to be valid/current for the next to be forked child, which seek state is set by File_descriptor_allocator::generate_info(). Issue #3991