realm: don't use Operation member variables after calling mark_finished()
realm: don't use Operation member variables after calling mark_finished()

StanfordLegion/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,sdalton1/legion,chuckatkins/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion