Update DB.php

Use SET instead of UPDATE queries to support read only databases

diff --git a/lib-php/DB.php b/lib-php/DB.php
index 6b6326b00034739df61d8e7b45e540677cbd8970..fc9e12a9efa332ad54f90912ca60b9b5f4a877d9 100644 (file)
--- a/lib-php/DB.php
+++ b/lib-php/DB.php
@@ -47,8 +47,8 @@ class DB
         $conn->exec("SET DateStyle TO 'sql,european'");
         $conn->exec("SET client_encoding TO 'utf-8'");
         // Disable JIT and parallel workers. They interfere badly with search SQL.
-        $conn->exec("UPDATE pg_settings SET setting = -1 WHERE name = 'jit_above_cost'");
-        $conn->exec("UPDATE pg_settings SET setting = 0 WHERE name = 'max_parallel_workers_per_gather'");
+        $conn->exec("SET jit_above_cost TO -1");
+        $conn->exec("SET max_parallel_workers_per_gather TO 0");
         $iMaxExecution = ini_get('max_execution_time');
         if ($iMaxExecution > 0) {
             $conn->setAttribute(\PDO::ATTR_TIMEOUT, $iMaxExecution); // seconds