aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/eigen_gen_credits
diff options
context:
space:
mode:
authorGravatar Benoit Jacob <jacob.benoit.1@gmail.com>2009-10-02 11:22:47 -0400
committerGravatar Benoit Jacob <jacob.benoit.1@gmail.com>2009-10-02 11:22:47 -0400
commit2b810ea81808d205694cacc9ea8f1bacb2b1472b (patch)
tree6589f207a4110017b9c2e417359cb0480c5c78cb /scripts/eigen_gen_credits
parentbcdeb68b63219f6ec903055ed20467250ff01f6e (diff)
finally, actually purge the Main Page
Diffstat (limited to 'scripts/eigen_gen_credits')
-rwxr-xr-xscripts/eigen_gen_credits8
1 files changed, 1 insertions, 7 deletions
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"