Comment

Just_Googling

They both work, but I actually prefer exception GeneratorExit approach as being more explicit in what is going on, rather that double finally somehow magically quashing the exception and not re-raising it. That one is my head scratcher for the night,