device_manager.cpp revision 47bf2e38
1