device_manager.cpp revision 652d5f63
1