Update DB.php

diff --git a/lib-php/DB.php b/lib-php/DB.php
index 8b51955d15ba91ecb8ea7d5b29591820511c6f7c..d49e51495ee7be058e3fa17f518dcbddb2e90467 100644 (file)
--- a/lib-php/DB.php
+++ b/lib-php/DB.php
@@ -47,12 +47,9 @@ class DB
         $this->connection->exec("SET DateStyle TO 'sql,european'");
         $this->connection->exec("SET client_encoding TO 'utf-8'");
         // Disable JIT and parallel workers. They interfere badly with search SQL.
-        if ($this->getPostgresVersion() < 11) {
-            $this->connection->exec("UPDATE pg_settings SET setting = -1 WHERE name = 'jit_above_cost'");
-            $this->connection->exec("UPDATE pg_settings SET setting = 0 WHERE name = 'max_parallel_workers_per_gather'");
-        } else {
+        $this->connection->exec("SET max_parallel_workers_per_gather TO 0");  
+        if ($this->getPostgresVersion() >= 11) {
             $this->connection->exec("SET jit_above_cost TO -1");
-            $this->connection->exec("SET max_parallel_workers_per_gather TO 0");    
         }
         
         $iMaxExecution = ini_get('max_execution_time');