diff --git a/openbis/build/build.xml b/openbis/build/build.xml index 0650b81d2224335fd0fdf4d46e86becb709b7363..e04c6de5925668645a169a7be8712d5313becf91 100644 --- a/openbis/build/build.xml +++ b/openbis/build/build.xml @@ -285,6 +285,9 @@ <copy file="${original.openbis.server.dist}/openBIS.keystore" todir="${server.dist}" /> <copy file="${original.openbis.server.dist}/passwd.sh" todir="${server.dist}" /> <copy file="${original.openbis.server.dist}/setup-env" todir="${server.dist}" /> + <copy file="${original.openbis.server.dist}/register-master-data.sh" todir="${server.dist}" /> + <copy file="${original.openbis.server.dist}/export-master-data.sh" todir="${server.dist}" /> + <copy file="${original.openbis.server.dist}/export-master-data.py" todir="${server.dist}" /> <property name="server.dist.file" value="${server.dist}${variant}-${version.number}-r${revision.number}.zip" /> <zip basedir="${dist}" destfile="${server.dist.file}" excludes="*.zip"> <zipfileset file="${original.openbis.server.dist}/install.sh" filemode="777" prefix="${server.folder.name}" /> diff --git a/openbis/dist/server/install.sh b/openbis/dist/server/install.sh index cf080dc32a1398a35c54599506bd134f29a1c447..d63bdf953e48350b0fde96a2c17b2ff5d531bedb 100755 --- a/openbis/dist/server/install.sh +++ b/openbis/dist/server/install.sh @@ -108,6 +108,9 @@ cp -p "$installation_folder"/startup.sh "$JETTY_BIN_DIR" cp -p "$installation_folder"/shutdown.sh "$JETTY_BIN_DIR" cp -p "$installation_folder"/setup-env "$JETTY_BIN_DIR" cp -p "$installation_folder"/passwd.sh "$JETTY_BIN_DIR" +cp -p "$installation_folder"/register-master-data.sh "$JETTY_BIN_DIR" +cp -p "$installation_folder"/export-master-data.sh "$JETTY_BIN_DIR" +cp -p "$installation_folder"/export-master-data.py "$JETTY_BIN_DIR" chmod u+x $JETTY_BIN_DIR/*.sh # Create a file called 'jetty.properties'.