// MIT VERA Greasemonkey script
// --------------------------------------------------------------------
//
// This is a Greasemonkey user script.
//
// To install, you need Greasemonkey: http://greasemonkey.mozdev.org/
// Then restart Firefox and revisit this script.
// Under Tools, there will be a new menu item to "Install User Script".
// Accept the default configuration and install.
//
// To uninstall, go to Tools/Manage User Scripts, select this script,
// and click Uninstall.
//
// --------------------------------------------------------------------
// ==UserScript==
// @name            MIT Libraries VERA URL Rewriter
// @namespace       http://swtch.com/greasemonkey/
// @description     Rewrites acm.org, ieee.org, etc. URLs to use MIT proxy.
// @include         *
// ==/UserScript==

(function() {
	var rewrites = new Array(
		"https://cindasdata.com/",
		"http://ieeexplore.ieee.org/",
		"http://www.engineeringvillage2.org/",
		"http://portal.acm.org/",
		"http://www.reviews.com/",
		"http://proquest.safaribooksonline.com/",
		"http://www.springerlink.com/"
	);
	var links = document.getElementsByTagName("a");
	for(var i=0; i<document.links.length; i++){
		url = document.links[i].href;
		for(var j=0; j<rewrites.length; j++){
			if(url.substring(0,rewrites[j].length) == rewrites[j]){
				var k = url.indexOf('/', 8);
				var proxy = ".libproxy.mit.edu";
				if(url.substring(0, 5) == "https")
					proxy = proxy+":9443";
				if(k < 0)
					url = url + proxy;
				else
					url = url.substring(0,k)+proxy+
							url.substring(k,url.length);
				document.links[i].href = url;
				break;
			}
		}
	}
})();