device_manager.cpp revision 2976912a
1