737c737
< drained = drained && thread.state == FetchHalted;
---
> drained = drained && (thread.state != FetchRunning);