From 586679d8e1e4f726e85f231c17aa4061b74f995a Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Mon, 28 Dec 2015 17:51:47 +0100
Subject: [PATCH] json format bug

---
 lib/php/db/table.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/php/db/table.php b/lib/php/db/table.php
index 1f85e01b..af388ecf 100644
--- a/lib/php/db/table.php
+++ b/lib/php/db/table.php
@@ -688,7 +688,7 @@ FROM pg_catalog.pg_attribute a WHERE a.attrelid = (SELECT c.oid FROM pg_catalog.
   function rows_begin_json() {
     $this->_row_json = null;
     return ''
-      ."// database: $this->db->name\n"
+      ."// database: ".$this->db->name."\n"
       ."// table: $this->name\n"
     .'['.PHP_EOL;
   }
-- 
2.47.3