device_manager.cpp revision 5c2e5130
1