From 64648b4b355af5f021d29ae476f6308b4a0ac8ea Mon Sep 17 00:00:00 2001 From: Benoit Jacob Date: Thu, 24 Sep 2009 07:04:55 -0400 Subject: improvements, especially: automatically flush the server side cache --- scripts/eigen_gen_credits | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'scripts') diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits index ec31da33c..a7adce1cc 100755 --- a/scripts/eigen_gen_credits +++ b/scripts/eigen_gen_credits @@ -10,12 +10,20 @@ # configuration USER='bjacob' -wget http://eigen.tuxfamily.org/index.php?title=ContributorsInfo -O online-info.out -o wget.log -hg churn -r 37: --changesets -t {author} > churn-changesets.out -hg churn -r 37: -t {author} > churn-changedlines.out +rm eigen_gen_credits.log + +hg pull >> eigen_gen_credits.log + +wget http://eigen.tuxfamily.org/index.php?title=ContributorsInfo -O online-info.out -a eigen_gen_credits.log +hg churn -r 37: --changesets -t {author} >> churn-changesets.out +hg churn -r 37: -t {author} >> churn-changedlines.out g++ scripts/eigen_gen_credits.cpp -o e ./e > credits.out rsync credits.out $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/credits.out || (echo "upload failed"; exit 1) + +# clear the server-side cache for Main Page +wget "http://eigen.tuxfamily.org/index.php?title=Main_Page&action=purge" -O main-page.out -a eigen_gen_credits.log +rm main-page.out -- cgit v1.2.3