device_manager.cpp revision f8a59924e5a8afacf7c966c00156cf55b151cf9a
1