device_manager.cpp revision 5b8d33bd
1