device_manager.cpp revision 2d8e02e435a866704afd745454a5c1165280da2a
1