device_manager.cpp revision 454ca0b1aacad5be1c943ea7449a59dea86d949a
1