# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1592819623 -32400
# Node ID f3d422665ea88bb0b60090bbd86c2354e6f69d78
# Parent  45be82d614ef03843f5b3047735055fedff5ffa1
Modify debug output

diff -r 45be82d614ef -r f3d422665ea8 s4-funcs.sh
--- a/s4-funcs.sh	Mon Jun 22 18:42:52 2020 +0900
+++ b/s4-funcs.sh	Mon Jun 22 18:53:43 2020 +0900
@@ -2390,9 +2390,9 @@
     echo '</table>'
   done
   if [ -n "$S4WORLDLIST" -a -n "$3" ]; then
-    err "peekgrpworlds BEGIN: `gdate +%S.%03N`"
+    err "peekgrpworlds($user) BEGIN: `gdate +%S.%03N`"
     peekgrpworlds mem:"$3"
-    err "peekgrpworlds   END: `gdate +%S.%03N`"
+    err "peekgrpworlds($user)   END: `gdate +%S.%03N`"
   fi
   echo '</div>'
 }
diff -r 45be82d614ef -r f3d422665ea8 s4-world.sh
--- a/s4-world.sh	Mon Jun 22 18:42:52 2020 +0900
+++ b/s4-world.sh	Mon Jun 22 18:53:43 2020 +0900
@@ -200,7 +200,6 @@
       guide="$exp を含むグループは別世界にもあります"
       s="(<a href=\"$cgi?stage=grps&kwd=$exp\">絞込</a>)" ;;
   esac
-  err "arg=[$arg] cond=[$cond] s=[$s]"
   query <<-EOF |
 	ATTACH DATABASE "$tdb" AS td;
 	SELECT DISTINCT td.grp.rowid,hex(gname)