# HG changeset patch
# User wenzelm
# Date 1350670514 -7200
# Node ID 463cdbfba8c73882c2f8dfc2ac53a0763d50922c
# Parent  3e7522664453c41da3ffcb5f43c294e9ec6d3e58
proper find -mtime (file data) instead of -ctime (meta data);

diff -r 3e7522664453 -r 463cdbfba8c7 Admin/isatest/isatest-statistics
--- a/Admin/isatest/isatest-statistics	Fri Oct 19 17:52:21 2012 +0200
+++ b/Admin/isatest/isatest-statistics	Fri Oct 19 20:15:14 2012 +0200
@@ -75,7 +75,7 @@
 mkdir -p "$DIR" || fail "Bad directory: $DIR"
 
 $ZGREP "^Finished .*elapsed" \
-  $(find "$LOG_DIR" -name "$LOG_NAME" -ctime "-${TIMESPAN}") | \
+  $(find "$LOG_DIR" -name "$LOG_NAME" -mtime "-${TIMESPAN}") | \
 perl -e '
   while (<>) {
     if (m/(\d\d\d\d)-(\d\d)-(\d\d).*:Finished (\S+) \((\d+):(\d+):(\d+) elapsed time, (\d+):(\d+):(\d+) cpu time/) {