// file: redirect.js

// Re-direct the browser to the url value
function redirect(url) {
	if (url != "") {
		window.location.href = url 
	}
}