// Place your application-specific JavaScript functions and classes here
// This file is automatically included by javascript_include_tag :defaults
function link(path){ 
  window.location.href=path; 
}

function add_or_replace_matcher_info(matcher_id){
	if(matcher_id){
		$.getScript("/matchers/" + matcher_id + "/matcher_info");
	} 
	else{
		$("#matcher_info").empty();
	}
}