rem: this.location.replace(this.location); 
add:  this.location.href = this.location; 
context: function DeleteProfile(){	if (!selected)	{		dump("Select a profile to delete.\n");		return;	}	var migrate = selected.getAttribute("rowMigrate");	var name = selected.getAttribute("rowName");	//dump("Delete '" + name + "'\n");	profileCore.DeleteProfile(name);	this.location.replace(this.location);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fa17c17e4f42b5165f11a881d7ac751416b1bfb5/pm.js/clean/profile/resources/pm.js