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  }