* targetElement: the element in the event handler we want the
* urlRegexp is performed on.
*
+ * processURL: a function to process the URL before adding the Direct
+ * Downdload Link to the page, it must accept a 'site' and a
+ * 'URL' parameters and dispatch the UrlFetched to pass the
+ * modified URL to _add_link().
+ *
*/
var supported_sites = [
{
urlContainer: 'Player',
urlRegexp: /mediaUri=(http:\/\/[^,]*)/,
onEvent: { evt: 'DOMNodeInserted', targetElement: 'object' },
+ processURL: _rai_get_actual_url,
linkDest: 'Player',
},
];
return;
}
+ if (site.processURL) {
+ site.processURL(site, URL);
+ return;
+ }
+
var evt = document.createEvent('Event');
evt.initEvent('UrlFetched', true, true);
evt.site = site;
GM_log(message);
}
}
+
+function _rai_get_actual_url(site, URL) {
+ // http://www.neaveru.com/wordpress/index.php/2008/05/09/greasemonkey-bug-domnodeinserted-event-doesnt-allow-gm_xmlhttprequest/
+ setTimeout( function() {
+ GM_xmlhttpRequest({
+ method: "GET",
+ // XXX A custom header. This is the "clever" trick Rai uses to ensure
+ // the content is accessed by www.rai.tv only...
+ headers: {'viaurl': 'www.rai.tv'},
+ url: URL,
+ onload: function(response) {
+ text = response.responseText;
+ text = text.replace(/&/g, '&')
+ parser = new DOMParser();
+ xmlDoc = parser.parseFromString(text, "text/xml");
+
+ ref = xmlDoc.getElementsByTagName('REF');
+ if (ref.length > 0) {
+ href = ref[0].getAttribute('HREF');;
+
+ var evt = document.createEvent('Event');
+ evt.initEvent('UrlFetched', true, true);
+ evt.site = site;
+ evt.URL = href;
+ document.dispatchEvent(evt);
+ }
+ }
+ });
+ }, 0);
+}