This message was deleted.

Hiya, yeah, you can ignore that one. It's a minor issue with the way we were handling cancellations and doesn't matter.

@sauyon thank you for the immediate reply. does this mean it does not interfere with anything when in production?

Yep, that error only comes up when you kill the server, and it takes a little while to kill itself.