[bug #30256] device_close not automatically closed on port closure

[anonymous]

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

                 Summary: device_close not automatically closed on port
closure
                 Project: The GNU Hurd
            Submitted by: None
            Submitted on: jeu 24 jun 2010 22:03:31 UTC
                Category: GNU Mach
                Severity: 3 - Normal
                Priority: 5 - Normal
              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:

if a process uses device_open() but not device_close before exiting, the mach
device will remain open.





    _______________________________________________________

Reply to this item at:

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

_______________________________________________
  Message posté via/par Savannah
  http://savannah.gnu.org/