set -e if [ -e .attrs.sh ]; then source .attrs.sh; fi source $stdenv/setup mkdir -p $out/bin cat > $out/bin/control <false|true|' default/deploy/jboss-web.deployer/META-INF/jboss-service.xml sed -i -e 's|||' default/deploy/jboss-web.deployer/server.xml fi # Make files accessible for the server user chown -R $user $serverDir for i in \`find $serverDir -type d\` do chmod 755 \$i done for i in \`find $serverDir -type f\` do chmod 644 \$i done fi EOF chmod +x $out/bin/*