device_manager.cpp revision f2479c22a8fc50b3086c63d2c823621d39c183ba
1