blob: 739dbeb7eedf8e3088a54e734e7a6337825a0367 (
plain)
1
2
3
4
5
6
7
|
<?php
$log_file = trim(file_get_contents(getenv("LOG_FILE")));
$BENCHMARK_RESULTS = substr($log_file, strrpos($log_file, "Average FPS:") + 13);
echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "\n")));
?>
|