device_manager.cpp revision 1e6dd3fe
1