device_manager.cpp revision 5b8d33bd7569385cbd4c4ec6dc37a5b06f7ffd19
1