device_manager.cpp revision dfa5aa0c
1