if ($_POST["mode"] == "Run Script") { echo '
The output of the script is reported below.
'; echo '
';
$timestamp = date("y-m-d_H.i.s", time());
if (!is_dir("$TempDirectory/WebTrilinos"))
mkdir("$TempDirectory/WebTrilinos", 0777);
$configFileName = "$TempDirectory/WebTrilinos/$timestamp.txt";
$configFile = fopen($configFileName, 'w')
or die("can't open $configFileName: $php_errormsg");
if (-1 == fwrite($configFile, $_POST["script"])) {
die("can't write to $configFileName: $php_errormsg"); }
fclose($configFile)
or die("can't close $configFileName: $php_errormsg");
chmod($configFileName, 0664);
$command = "";
if ($PYTHONPATH != "")
$command .= "PYTHONPATH=$PYTHONPATH ";
$command .= "python $configFileName 2>&1;";
passthru($command);
echo 'Colorized version of your script reported below.
';
echo '