" . dirname(__FILE__) . "/bubble_sort.txt 2> " . dirname(__FILE__) . "/bubble_sort.err"); } else { // Web browsing or Curl exec(dirname(__FILE__) . "/bubble_sort.ksh " . str_replace("@", " ", urldecode($_GET['jsize'])) . " " . urldecode($_GET['jmin']) . " " . urldecode($_GET['jmax']) . " " . urldecode($_GET['imode']) . " > " . dirname(__FILE__) . "/bubble_sort.txt 2> " . dirname(__FILE__) . "/bubble_sort.err"); } if ($argv || str_replace("@", " ", urldecode($_GET['jsize'])) != urldecode($_GET['jsize'])) { // PHP command line or Curl echo file_get_contents(dirname(__FILE__) . "/bubble_sort.txt"); } else { // Web browsing echo str_replace("\n", "
", file_get_contents(dirname(__FILE__) . "/bubble_sort.txt")); } ?>