cms-sw/cmssw — pull request #5190 by Dr15Jones (2014-09-05 15:20:27+00:00)
Title: Added missing watch methods for early termination

When the new early termination signals were added, the additional
watch* methods were forgotten.