Send.php

<?php
if(isset($_POST["command"])){
 $num = file("count");
 $count = $num[0] + 1;
 file_put_contents("count",$count);

$table = (split(' +', $_POST["command"]));
$wordcount = count($table);
$serial = "shell.run(";
for($i = 1;$i <= $wordcount;$i++){
 $f = $i-1;
 $serial = $serial.'"'.$table[$f].'"';
 if($i < $wordcount){
  $serial = $serial.",";
 }
}
$serial = $serial.")";

 file_put_contents("tmp.txt",$serial);
 header("Location: test.html");

}
else{
 $file = file("tmp.txt");
 echo($file[0]);
}


?>