fontfuzzer/templates/serverFonts.html~
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<title>Manage communication with fuzzing agents</title>
<script>
function convertURL() {
var ip = document.getElementsByName("agentIp")[0].value;
var agent = document.getElementsByName("agentName")[0].value;
document.newAgent.action = "/communication/agents/" + ip + '/' + agent;
}
</script>
</head>
<body>
</body>
</html>