rem:  var file = getSubscriptionsFile(); var ds = getSubscriptionsDS(); 
add:  if (window.arguments[0].server) gRSSServer = window.arguments[0].server;  var ds = getSubscriptionsDS(gRSSServer); 
context: function doLoad() {    // Display the list of feed subscriptions.    var file = getSubscriptionsFile();    var ds = getSubscriptionsDS();    var tree = document.getElementById('subscriptions');    tree.database.AddDataSource(ds);    tree.builder.rebuild();    // extract the server argument    if (window.arguments[0].server)        gRSSServer = window.arguments[0].server;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/002bf2393818a5080a3d8b514c17631f7220102f/subscriptions.js/clean/mail/extensions/newsblog/content/subscriptions.js