device_manager.cpp revision 7830589f020c7311d9954b888909e434a7e03006
1