Modified push manager to allow easy push session lookup.