device_manager.cpp revision 4f5d9ca63daa486979b310de2158abbf1b8a8399
1