[php cli] far ricominciare uno script

[Shores]

Direi che è una banalità:

<?php
define(STDIN, fopen('php://stdin', 'r'));

function menu(){
    print "1) lol\n";
    print "2) atrlo\n";
    $lettera = fread(STDIN, 1);
    return $lettera;
}

$opzione="";
while (($opzione!="1") && ($opzione!="2")):
$opzione = menu();

if ($opzione == "1") {
  include('menu/lol.php');
} elseif ($opzione == "2") {
  include('menu/altro.php');
}
endwhile;
?>

Ciao!

P.s.: sarebbe stato sbagliato usare PHP_SELF anche se non fossi stato nella cli...