debugging on the haltWatch method