device_manager.cpp revision 941b2f41
1