device_manager.cpp revision 6015793f
1