# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1609648640 -32400
# Node ID 0352ff0fb37faa90f2ac82fa2163786be8259478
# Parent  d81dd0ed2d6d2316397c0cc5bbab8cdcfbe07c5e
Suppress user.name update for unchanged values, which takes a lot time.

diff -r d81dd0ed2d6d -r 0352ff0fb37f s4-world.sh
--- a/s4-world.sh	Sun Jan 03 12:33:19 2021 +0900
+++ b/s4-world.sh	Sun Jan 03 13:37:20 2021 +0900
@@ -112,7 +112,8 @@
 INSERT INTO main.user(rowid, name)
        SELECT rowid, name FROM m.user
        WHERE m.user.rowid NOT IN (SELECT rowid FROM user);
-UPDATE user SET name = (SELECT name FROM m.user WHERE main.user.rowid=m.user.rowid);
+/* PrimaryKey:name cannot be changed, but ensure the integrity of user */
+UPDATE user SET name = (SELECT name FROM m.user WHERE main.user.rowid=m.user.rowid) WHERE name != (SELECT name from m.user WHERE main.user.rowid=m.user.rowid);
 DELETE FROM main.user_s WHERE rowid NOT IN (SELECT rowid FROM m.user_s);
 REPLACE INTO main.user_s(rowid, name, key, type, val, bin)
 	SELECT rowid,* FROM m.user_s;