device_manager.cpp revision 32bcfcf6
1