function pushSource(url, source)
        {
            if (!url) {
                console.error("Failed to load " + url);
                return;
            }
            message.push({ source: source, url: url });
        }
@param {?string} url
@param {?string} source