device_manager.cpp revision 557335a99102b2df15fe4e877cfe8f678bd29995
1