+
+function _rai_get_actual_url(site, URL) {
+
+ // SmoothStreaming manifest files get added without processing, for now:
+ if (URL.match(/.*\.csm$/)) {
+ var evt = document.createEvent('Event');
+ evt.initEvent('UrlFetched', true, true);
+ evt.site = site;
+ evt.URL = URL;
+ document.dispatchEvent(evt);
+ return;
+ }
+
+ // 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");
+
+ // MMS streams
+ elems = xmlDoc.getElementsByTagName('REF');
+ if (elems.length > 0) {
+ href = elems[0].getAttribute('HREF');;
+
+ var evt = document.createEvent('Event');
+ evt.initEvent('UrlFetched', true, true);
+ evt.site = site;
+ evt.URL = href;
+ document.dispatchEvent(evt);
+ }
+ // SmoothStreaming streams
+ elems = xmlDoc.getElementsByTagName('playListItem');
+ if (elems.length > 0) {
+ href = elems[0].getAttribute('mediaSource');;
+
+ var evt = document.createEvent('Event');
+ evt.initEvent('UrlFetched', true, true);
+ evt.site = site;
+ evt.URL = href;
+ document.dispatchEvent(evt);
+ }
+ }
+ });
+ }, 0);
+}