device_manager.cpp revision dfa5aa0c9875001fa3508463f61862ba580952f0
1