device_manager.cpp revision 75749935
1