Changed a debugging log in push.js