device_manager.cpp revision 078d0317
1