context: function SetServerTypeSpecificTextValues(){	if (!gServerURI) return;	var serverType = GetMsgFolderFromUri(gServerURI).server.type;	//dump("serverType="+serverType+"\n");		/* set the server specific ui elements */    var element = document.getElementById("foldertextlabel");	var stringName = "foldertextfor-" + serverType;	var stringval = Bundle.GetStringFromName(stringName);	element.setAttribute('value',stringval);	stringName = "foldersheaderfor-" + serverType;	stringval = Bundle.GetStringFromName(stringName);    element = document.getElementById("foldersheaderlabel");	element.setAttribute('value',stringval);	// xxx todo, fix this hack	// qi the server to get a nsISubscribable server	// and ask it for the delimiter	if (serverType == "nntp") {		gFolderDelimiter = ".";	}	else {		gFolderDelimiter = "/";	}}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/3a79a2ff9bf6c3e0320be41803c1ce6dd02cfba4/subscribe.js/buggy/mailnews/base/resources/content/subscribe.js