"stop pushing" seems a bit unclear. How is the implementation supposed to stop pushing? I don't know if UDP has any backpressure signals here to respond to. Is dropping data appropriate? Probably not, right? No need to make UDP more lossy than it needs to be...

I guess the takeaway here is that it's OK to ignore the return value of `push`, if there's nothing useful you can do with it.