device_manager.cpp revision 2b07b8e0
1