diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-10-02 11:22:47 -0400 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-10-02 11:22:47 -0400 |
| commit | 2b810ea81808d205694cacc9ea8f1bacb2b1472b (patch) | |
| tree | 6589f207a4110017b9c2e417359cb0480c5c78cb /scripts/eigen_gen_credits | |
| parent | bcdeb68b63219f6ec903055ed20467250ff01f6e (diff) | |
finally, actually purge the Main Page
Diffstat (limited to 'scripts/eigen_gen_credits')
| -rwxr-xr-x | scripts/eigen_gen_credits | 8 |
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" |