[bug #19254] ``boot -d'' should print pids

[Thomas Schwinge]

URL:
  <http://savannah.gnu.org/bugs/?19254>

                 Summary: ``boot -d'' should print pids
                 Project: The GNU Hurd
            Submitted by: tschwinge
            Submitted on: Friday 03/09/07 at 12:16
                Category: Hurd
                Severity: 1 - Wish
                Priority: 1 - Later
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
         Reproducibility: Every Time
              Size (loc): None
         Planned Release: None
                  Effort: 0.00
Wiki-like text discussion box: 

    _______________________________________________________

Details:

Since the only (?) reason to use `boot''s `-d' switch is to use GDB to attach
to the starting Hurd servers, the `boot' program should be so kind as to print
out the pid of each server that is started.





    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?19254>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/