python/py_dof_manager.cc