s4
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 diff
1.1 --- a/s4-funcs.sh Sun Jun 21 19:46:12 2020 +0900 1.2 +++ b/s4-funcs.sh Mon Jun 22 18:42:52 2020 +0900 1.3 @@ -2390,7 +2390,9 @@ 1.4 echo '</table>' 1.5 done 1.6 if [ -n "$S4WORLDLIST" -a -n "$3" ]; then 1.7 + err "peekgrpworlds BEGIN: `gdate +%S.%03N`" 1.8 peekgrpworlds mem:"$3" 1.9 + err "peekgrpworlds END: `gdate +%S.%03N`" 1.10 fi 1.11 echo '</div>' 1.12 }