device_manager.cpp revision 3aecf8aa
1