This is an automated email from the git hooks/post-receive script. sthibault pushed a commit to branch upstream in repository hurd.
commit a9a4f69ad7bd02209fdce02b28c701c23fe48a15 Author: Samuel Thibault <[email protected]> Date: Wed Jan 29 00:08:48 2014 +0100 pfinet: really deallocate device port * pfinet/ethernet.c (ethernet_close): Call mach_port_deallocate on device port. --- pfinet/ethernet.c | 1 + 1 file changed, 1 insertion(+) diff --git a/pfinet/ethernet.c b/pfinet/ethernet.c index 3b0d27b..053fd1b 100644 --- a/pfinet/ethernet.c +++ b/pfinet/ethernet.c @@ -243,6 +243,7 @@ ethernet_close (struct device *dev) ports_destroy_right (edev->readpt); edev->readpt = NULL; device_close (edev->ether_port); + mach_port_deallocate (mach_task_self (), edev->ether_port); edev->ether_port = MACH_PORT_NULL; } -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-hurd/hurd.git
