[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Thomas Schwinge
Subject: [bug #19254] ``boot -d'' should print pids
Date: Fri, 09 Mar 2007 11:16:01 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20061201 Firefox/ (Ubuntu-feisty)


                 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: 



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:


  Message sent via/by Savannah

reply via email to

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