device_manager.cpp revision 3aecf8aa0083780ef78ec9251c2e7ea00fec8dd5
1