rem: this.location.replace(this.location); 
add:  this.location.href = this.location; 
context: function RenameProfile(w){	if (!selected)	{		dump("Select a profile to migrate.\n");		return;	}	var newName = w.document.getElementById("NewName").value;	var oldName = selected.getAttribute("rowName");	var migrate = selected.getAttribute("rowMigrate");	if (migrate == "true")	{		dump("Migrate this profile before renaming it.\n");		return;	}	//dump("RenameProfile : " + oldName + " to " + newName + "\n");	profileCore.RenameProfile(oldName, newName);	this.location.replace(this.location);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/930041ae1753074ce1ece639df9116ecbaf8b822/pm.js/buggy/profile/resources/pm.js