From 2b810ea81808d205694cacc9ea8f1bacb2b1472b Mon Sep 17 00:00:00 2001 From: Benoit Jacob Date: Fri, 2 Oct 2009 11:22:47 -0400 Subject: finally, actually purge the Main Page --- scripts/eigen_gen_credits | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'scripts') diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits index f597b1b6a..026fd34de 100755 --- a/scripts/eigen_gen_credits +++ b/scripts/eigen_gen_credits @@ -7,9 +7,6 @@ # cd eigen2 # scripts/eigen_gen_credits -# configuration -USER='orzel' - rm -f eigen_gen_credits.log hg pull >> eigen_gen_credits.log @@ -23,7 +20,4 @@ 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 +ssh $USER@ssh.tuxfamily.org "cd eigen/eigen.tuxfamily.org-web/htdocs; chmod 666 credits.out; echo Main_Page | /usr/bin/php maintenance/purgeList.php" -- cgit v1.2.3