Browse Subversion Repository
Diff of /pal-portal/branches/pal-portal-1.x/build.properties
 Parent Directory
|  Revision Log
|  Patch
| 28 |
installer.portlets.dir=${installer.target.dir}/portlets |
installer.portlets.dir=${installer.target.dir}/portlets |
| 29 |
dist.name.prefix=PALPortal |
dist.name.prefix=PALPortal |
| 30 |
dist.version=${portal.version} |
dist.version=${portal.version} |
| 31 |
#dist.tomcat.version=5.5.25 |
dist.tomcat.version=5.5.27 |
|
dist.tomcat.version=5.5.23 |
|
| 32 |
dist.tomcat.base.file=${installer.target.dir}/apache-tomcat-${dist.tomcat.version}.zip |
dist.tomcat.base.file=${installer.target.dir}/apache-tomcat-${dist.tomcat.version}.zip |
| 33 |
#dist.tomcat.base.url=http://ftp.riken.jp/net/apache/tomcat/tomcat-5/v${dist.tomcat.version}/bin/apache-tomcat-${dist.tomcat.version}.zip |
dist.tomcat.base.url=http://ftp.riken.jp/net/apache/tomcat/tomcat-5/v${dist.tomcat.version}/bin/apache-tomcat-${dist.tomcat.version}.zip |
|
dist.tomcat.base.url=http://archive.apache.org/dist/tomcat/tomcat-5/v5.5.23/bin/apache-tomcat-5.5.23.zip |
|
| 34 |
dist.server.home=${dist.portal.dir} |
dist.server.home=${dist.portal.dir} |
| 35 |
dist.server.shared=${dist.server.home}/shared/lib |
dist.server.shared=${dist.server.home}/shared/lib |
| 36 |
dist.server.war.dir=${dist.server.home}/webapps/ |
dist.server.war.dir=${dist.server.home}/webapps/ |
|
|
Legend:
| Removed from v.1207 |
|
| changed lines |
| |
Added in v.1605 |
|
|
| 
Parent Directory
Revision Log
Patch