[task #6612] Overriding the system's default servers

[Thomas Schwinge]

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/