function doRefresh(uri) {
	if (!!uri) {
		location.replace(uri);
	}
	else {
		location.replace('/');
	}
}