device_manager.cpp revision 4584521e
1