device_manager.cpp revision 7a6818d3
1