rem: document.location.href = "/playlist.m3u?player=" + currentPlayer; 
add: document.location.href = "/playlist.m3u?player=" + curPlayer; 
context: function doDownload() {	document.location.href = "/playlist.m3u?player=" + currentPlayer;}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/44a7a78fbb176baa71bba5a155527eea5bdea71b/playlist.js/buggy/HTML/ExBrowse3/html/playlist.js