device_manager.cpp revision 548c508f
1