This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "Hurd".
The branch, master has been updated via 933a1d8f6240355bf066963f7fa226eefb8f1e25 (commit) via 18835e7576609524f3613709b579fc90b78bf24f (commit) via 84f8c49f12bb228e73d80ab82dba2707d3253153 (commit) from c644533e2a8cd395997609f7e33b1e38c27e40f0 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 933a1d8f6240355bf066963f7fa226eefb8f1e25 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Wed Dec 21 13:22:29 2022 +0100 S_mach_notify_new_task: Ignore notification of dead tasks In case the new task notification gets late, the task may have terminated already, and thus a dead name gets provided in the notification. We should just ignore this, otherwise the task hashing would get collisions on all such dead tasks ports. commit 18835e7576609524f3613709b579fc90b78bf24f Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Wed Dec 21 13:19:46 2022 +0100 proc: Do not deallocate input ports on error The error handling code would already deallocate them, thus leading to duplicate deallocation, spurious destroy, and later on port mixup. commit 84f8c49f12bb228e73d80ab82dba2707d3253153 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Wed Dec 21 13:18:55 2022 +0100 proc: Add task to hashes before requesting death notify In case the task dies very early and thus the notification arrives very early. ----------------------------------------------------------------------- Summary of changes: proc/main.c | 2 +- proc/mgt.c | 27 +++++++++++---------------- 2 files changed, 12 insertions(+), 17 deletions(-) hooks/post-receive -- Hurd