device_manager.cpp revision 941b2f41ec616ebc95039ebdb14a3c0d28aa0237
1