#!/usr/bin/php -q
<?php
ob_implicit_flush(true);
set_time_limit(30);
$err = fopen("php://stderr", "w");

function __write__($line)
{
        print $line."\n";
}

function __read__()
{
        global $in, $err;
        $input=str_replace("\n","",fgets($in,4096));
	    fwrite($err, "RECEIVED: $input\n");
        return $input;
}

function festival($texto)
{
//        __write__("EXEC FESTIVAL \"$texto\"");
//        return __read__();
}

function record($filename, $digits)
{
        __write__("RECORD FILE $filename wav $digits 15000 BEEP s=2");
        return __read__();
}

$in=fopen("php://stdin","r");

while(!feof($in)) {
    $temp = fgets($in);
    $temp = str_replace("\n","",$temp);
    $s = explode(":",$temp);
    $agivar[$s[0]] = trim($s[1]);
    if(($temp == "") || ($temp == "\n")) {
        break;
    }
}

festival("Please speak now.");
$numero = "";
while($numero == "") {
    record("/tmp/mensaje","#");
    $comando="/usr/local/bin/decoder-demo";
    exec($comando);
    $value=file("/tmp/mensaje.hyp");
    $value=$value[0];
    $numero=trim(substr($value,strpos($value,">")+1));
    if($numero!="")
      festival("You said $numero.");
    else
      festival("Not understood.");
}
festival("Thank you.");