.files.php

<?php
# GistID: 61f69d0a928d750a254a
$dir = __DIR__;
$update_sh = "$dir/release.sh";
$handle = popen($update_sh, 'r');
if (ob_get_level() == 0)
    ob_start();
if (is_resource($handle)) {
    while (!feof($handle)) {
        $buffer = fgets($handle, 2);
        echo "$buffer";
        ob_flush();
        flush();
    }
    pclose($handle);
} else {
    echo "not run.";
}