device_manager.cpp revision d88a145e9e7581affe75cd11c5512ed802399499
1