device_manager.cpp revision 8b07bbe1
1