relayrides/pushy — pull request #113 by bfg (2014-08-21 10:35:28+00:00)
Title: Add ability to name PushManager instances.

When single JVM contains more than one push manager instance,
logging became confusing, because there was no way to differentiate
logging messages between multiple instances.

This patch adds ability to name push manager; all logging statements
are prefixed with push manager/connection name.