This pair of programs shows how to use Mozilla's Push system. See the README files associated with each for how to install and run.

For more info about Mozilla's push: https://developer.mozilla.org/en-US/docs/Web/API/Simple_Push_API