Update DB.php

diff --git a/lib-php/DB.php b/lib-php/DB.php
index 63733cc793e815c43386d0c7efdf2112a74c7c1c..f5fea7f8d8c6eb549f64d3e719cc9621cbc7699a 100644 (file)
--- a/lib-php/DB.php
+++ b/lib-php/DB.php
@@ -43,7 +43,7 @@ class DB
             $sMsg = 'Failed to establish database connection:' . $e->getMessage();
             throw new \Nominatim\DatabaseError($sMsg, 500, null, $e->getMessage());
         }
-        
+
         $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.
@@ -59,7 +59,7 @@ class DB
         if ($iMaxExecution > 0) {
             $conn->setAttribute(\PDO::ATTR_TIMEOUT, $iMaxExecution); // seconds
         }
-        
+
         return true;
     }