diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-25 14:13:10 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-25 14:13:10 +0100 |
commit | 3c61972451f91df9d657ae06db0397f8d65cc4df (patch) | |
tree | af392ab469af96e423fcd1955273508799dfcd7e | |
parent | 936356bf1e080ee9a9c05d2808d903a1f8a8004c (diff) | |
download | php-git-3c61972451f91df9d657ae06db0397f8d65cc4df.tar.gz |
Drop lightning for concurrent worker count
This looked rather awkward even on terminals that have full unicode
support.
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 63ee77cd03..fc40ae8a2f 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1578,7 +1578,7 @@ escape: $test_idx++; clear_show_test(); echo $resultText; - show_test($test_idx, "⚡️[" . count($workerProcs) . "/$workers concurrent test workers running]⚡️"); + show_test($test_idx, count($workerProcs) . "/$workers concurrent test workers running"); if (!is_array($name) && $result != 'REDIR') { $test_results[$index] = $result; |