From b96609b6b43166c7fdf7d12d76d59a8743eee511 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Fri, 28 Aug 2020 14:12:29 +0200
Subject: [PATCH] Use utf8mb4 collation and charset

---
 convert.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/convert.py b/convert.py
index da54fa9..ff8efa3 100644
--- a/convert.py
+++ b/convert.py
@@ -86,10 +86,10 @@ def write_header(file):
     file.write("DROP TABLE IF EXISTS `store`;\n")
     file.write(
 """CREATE TABLE `store` (
-    `key` varchar(100) COLLATE utf8_bin NOT NULL DEFAULT '',
-    `value` longtext COLLATE utf8_bin NOT NULL,
+    `key` varchar(100) COLLATE utf8mb4_bin NOT NULL DEFAULT '',
+    `value` longtext COLLATE utf8mb4_bin NOT NULL,
     PRIMARY KEY (`key`)
-) ENGINE=InnoDB DEFAULT CHARSET=utf8 COLLATE=utf8_bin;
+) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_bin;
 """)
     file.write("LOCK TABLES `store` WRITE;\n")
 
-- 
GitLab