[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[task #6612] Overriding the system's default servers
From: |
Thomas Schwinge |
Subject: |
[task #6612] Overriding the system's default servers |
Date: |
Sat, 10 Mar 2007 17:36:40 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.2) Gecko/20061201 Firefox/2.0.0.2 (Ubuntu-feisty) |
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/
- [task #6612] Overriding the system's default servers,
Thomas Schwinge <=