diff options
Diffstat (limited to 'run-tests.php')
| -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 f54dc2d37a..58e8fc1dba 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2076,7 +2076,7 @@ TEST $file } // Default ini settings - $ini_settings = array(); + $ini_settings = $workerID ? array('opcache.cache_id' => "worker$workerID") : array(); // Additional required extensions if (array_key_exists('EXTENSIONS', $section_text)) { |