changeset 832:45be82d614ef

Time peekgrpworlds in listgroupbytable
author HIROSE Yuuji <yuuji@gentei.org>
date Mon, 22 Jun 2020 18:42:52 +0900
parents 0ec2df3e879a
children f3d422665ea8
files s4-funcs.sh
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/s4-funcs.sh	Sun Jun 21 19:46:12 2020 +0900
+++ b/s4-funcs.sh	Mon Jun 22 18:42:52 2020 +0900
@@ -2390,7 +2390,9 @@
     echo '</table>'
   done
   if [ -n "$S4WORLDLIST" -a -n "$3" ]; then
+    err "peekgrpworlds BEGIN: `gdate +%S.%03N`"
     peekgrpworlds mem:"$3"
+    err "peekgrpworlds   END: `gdate +%S.%03N`"
   fi
   echo '</div>'
 }

yatex.org