device_manager.cpp revision 5c2e5130053e32b277bdfe67c20f709baf82bdb6
1