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 "GNU Mach".
The branch, master has been updated
via ad0681db8840484c0a18bb69f4a9072d6e405ccd (commit)
from da5dea9b6f960603f0c02b42b5cc8384194faa5b (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 ad0681db8840484c0a18bb69f4a9072d6e405ccd
Author: Justus Winter <[email protected]>
Date: Mon May 26 00:02:50 2014 +0200
doc: restore section `Inherited Ports'
Previously, the section `Inherited Ports' was commented out. This was
done, as the functionality was unused by the Hurd. The functions
`mach_ports_register' and `mach_ports_lookup' were never removed, and
are exposed to user space.
This patch brings the documentation back and adds a remark at the top,
that the section documents the original intentions for this interface.
I chose bringing back the documentation over removing the
functionality because I like to make use of it as a method for service
discovery that is deliberately orthogonal to the way the service
lookup is usually done in the Hurd. This can be used to implement
robust low-level debugging facilities.
* doc/mach.texi: Restore section `Inherited Ports'.
-----------------------------------------------------------------------
Summary of changes:
doc/mach.texi | 127 +++++++++++++++++++++++++++++----------------------------
1 files changed, 65 insertions(+), 62 deletions(-)
hooks/post-receive
--
GNU Mach
