It actually is very easy, we have a tiny pushserver written in Python that was written in a day or something like that. It's been running for almost a year without a restart, so it didn't even need further development.