Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Use Special by default.
- Loading branch information
Showing
with
3 additions
and
3 deletions.
-
+1
−1
bench.php
-
+2
−2
www/index.php
|
@@ -92,7 +92,7 @@ function saveData() { |
|
|
|
|
|
// Long-Running days, run less times. |
|
|
if ($end - $start > $longTimeout) { $long = true; } |
|
|
if ($result === NULL) { echo '!'; break; } else { echo $i; } |
|
|
if ($result === NULL) { echo '!'; break; } else { echo ' ', $i; } |
|
|
|
|
|
// Get the `real` time output. |
|
|
$time = $participant->extractTime($result); |
|
|
|
@@ -4,7 +4,7 @@ |
|
|
$pageid = 'index'; |
|
|
require_once(__DIR__ . '/header.php'); |
|
|
|
|
|
function getTime($times, $method = 'SPECIAL') { |
|
|
function getTime($times, $method) { |
|
|
$parsedTimes = []; |
|
|
foreach ($times as $time) { |
|
|
if (preg_match('#^([0-9]+)m\s?([0-9]+).([0-9]+)s$#', $time, $match)) { |
|
@@ -52,7 +52,7 @@ function formatTime($time) { |
|
|
return sprintf('%dm%d.%03ds', $m, $s, $ms); |
|
|
} |
|
|
|
|
|
$method = isset($_REQUEST['method']) ? $_REQUEST['method'] : 'AVG'; |
|
|
$method = isset($_REQUEST['method']) ? $_REQUEST['method'] : 'SPECIAL'; |
|
|
|
|
|
$hasResults = false; |
|
|
if (file_exists($resultsFile)) { |
|
|
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.