[Top][All Lists]

[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: Gecko/20061201 Firefox/ (Ubuntu-feisty)


                 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: 



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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]