2447e7e - We need to treat port_t and unreserved_port_t as generic_port types

Authored and Committed by mgrepl 12 years ago
    - We need to treat port_t and unreserved_port_t as generic_port types
    
        
file modified
+212 -81
file modified
+4 -1