device_manager.cpp revision 14429e89
1