URL:
<http://savannah.gnu.org/task/?6612>
Summary: Overriding the system's default servers
Project: The GNU Hurd
Submitted by: tschwinge
Submitted on: Saturday 03/10/07 at 18:36
Category: None
Should Start On: Saturday 03/10/07 at 00:00
Should be Finished on: Saturday 03/10/07 at 00:00
Priority: 1 - Later
Status: None
Privacy: Public
Percent Complete: 0%
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Planned Release: None
Effort: 0.00
Wiki-like text discussion box:
_______________________________________________________
Details:
It should be allowed for the system's default servers to be easily
overridden. (By setting environment variables, for example.)
This is partly implemented for the `crash' server (albeit largely untested)
and has been begun for the `exec' server (see task #6611) and is missing for
the others.
Especially, being able to easily override the `pfinet' server running on
`/servers/socket/2' would offer a large scale of possibilities.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/task/?6612>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-hurd
