Re: bug 1918 - openmpi broken due to rdma-cm changes

Sean Hefty
2010-02-04T22:56:52Z

>This solution would work. Will you code it up?

I can do that. I just want to make sure that we address the full scope of the
problem.

- Sean