device_manager.cpp revision 7830589f
1