device_manager.cpp revision 8b07bbe1081c3a45500cd0dbb04ebe1eff4c0834
1