device_manager.cpp revision 59588089
1