
<?php
/*
 * this starts the shell, gives it commands, gets it's
 * output.
 * It would be nice if I could keep the same shell process
 * running between requests, so environment variables
 * and cd's would truly work.  But right now the process
 * just dies.
 */
$ps1 = $env['PS1'] ? $env['PS1']. '&nbsp;' : $title. '$&nbsp;';
echo $ps1. $cmd;
echo "\n";
$fds = array(
    0 => array('pipe', 'r'),
    1 => array('pipe', 'w'),
    2 => array('pipe', 'w')); //WWW_ROOT. '/../tmp/shells.log', 'a'));
// TODO: configurable PWD.
$proc = proc_open($exec, $fds, $pipes, WWW_ROOT, $env);
if(is_resource($proc)){
  fwrite($pipes[0], $cmd);
  fflush($pipes[0]);
  fclose($pipes[0]);
  $sout = stream_get_contents($pipes[1]);
  $serr = stream_get_contents($pipes[2]);
  fclose($pipes[1]);
  fclose($pipes[2]);
  $ret = proc_close($proc);
  echo $sout. $serr;
}
?>