enabled new notation for push app name, push server