device_manager.cpp revision 0f3a576f7ef58b52f57b28a7fc48fe7a0d99313a
1