reference implementation of a Simple Push server