device_manager.cpp revision 594a6fa9
1