device_manager.cpp revision 2d79691811caf4a57330c3e829da598b55e52525
1