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 '