Michael> Of course. Closing the file should be handled separately
Michael> from regular deregistration. A new patch (below) fixes
Michael> that.This looks better than my approach. Let me make sure it covers everything, but it definitely seems simpler. - R. _______________________________________________ openib-general mailing list [email protected] http://openib.org/mailman/listinfo/openib-general To unsubscribe, please visit http://openib.org/mailman/listinfo/openib-general
