Update DB.php

diff --git a/lib-php/DB.php b/lib-php/DB.php
index d49e51495ee7be058e3fa17f518dcbddb2e90467..553d9452e2f524b75d2f12631a18140c34460407 100644 (file)
--- a/lib-php/DB.php
+++ b/lib-php/DB.php
@@ -47,9 +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.
-        $this->connection->exec("SET max_parallel_workers_per_gather TO 0");  
+        $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 jit_above_cost TO -1');
         }
         
         $iMaxExecution = ini_get('max_execution_time');