<?php 

const OUTPUT_FOLDER = "./tmp/";

header("Content-Type: audio/ogg");

if(isset($_GET["file_name"]) && is_string($_GET["file_name"]))
{
    system("timidity " . OUTPUT_FOLDER . $_GET["file_name"] . ".midi -Ov -o -");
}
else
{
    http_response_code(400);
    echo("Missing Parameters");
}
?>