I assume you reproduced it and tested that the fix works..
In theory the order of the signals could be swapped..

@oranagra I did test it, I found it while writing the failover tests but forgot to submit it :)

Just for completion sake, here was the local test I had:

start_server {tags {"failover"}} {
    set node_0_pid [srv 0 pid]

    test {Stop a test and fail} {
        exec kill -SIGSTOP $node_0_pid
        assert_equal 1 0
    }
}