device_manager.cpp revision ce08f03c
1