device_manager.cpp revision 8e17b43d
1