[PPL-devel] [GIT] ppl/w3ppl(master): Updated.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 64515a421dfe114e74f7a93c71b8ea655aea56d9
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=64515a421dfe114e74f7a93c71b8ea655aea56d9

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 20 10:33:24 2011 +0100

Updated.

---

 bin/ppl_release |    9 ++++-----
 1 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/bin/ppl_release b/bin/ppl_release
index d47acb1..9289f54 100755
--- a/bin/ppl_release
+++ b/bin/ppl_release
@@ -172,8 +172,7 @@ build_tarfiles() {
 
   changedir "${WORKING_DIRECTORY}"
 
-  # The GNU Coding Standards specify that all files should
-  # world readable.
+  # The GNU Coding Standards specify that all files should be world readable.
   chmod -R a+r ${SOURCE_DIRECTORY}
   # And that all directories have mode 777.
   find ${SOURCE_DIRECTORY} -type d -exec chmod 777 {} \;
@@ -309,18 +308,18 @@ RFC_2822_DATE=`date --rfc-2822`
 #GIT_SERVER="localhost"
 GIT_SERVER="git.cs.unipr.it"
 # The path to the repository on that server.
-GIT_REPOSITORY="/git/ppl/ppl.git"
+GIT_REPOSITORY="/ppl/ppl"
 # The GIT protocol to use.
 GIT_PROTOCOL="ssh"
 # The username to use when connecting to the server.
-GIT_USERNAME="${USER}"
+GIT_USERNAME="git"
 
 # The machine to which files will be uploaded.
 PPL_HOSTNAME="ftp.cs.unipr.it"
 # The name of the account on the machine to which files are uploaded.
 PPL_USERNAME="root"
 # The directory in which the files will be placed.
-FTP_PATH="/var/ftp/pub/ppl"
+FTP_PATH="/srv/ftp/pub/ppl"
 
 # The major number for the release.  For release `3.0.2' this would be
 # `3'