The run had already ended under a terminal write with the same fingerprint, and this call changed nothing.