Krinkle has uploaded a new change for review.
https://gerrit.wikimedia.org/r/223003
Change subject: mw-teardown: Only cp LocalSettings if it exists
......................................................................
mw-teardown: Only cp LocalSettings if it exists
If the job failed early during the installer, then this will not
yet exist. In that case, we want to make sure that we still
archive log/ files for inspection, and still clean up tmp dir.
Change-Id: I4cc816e0ba253add9eab2363b3e4c0830826c4cc
---
M bin/mw-teardown.sh
1 file changed, 3 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins
refs/changes/03/223003/1
diff --git a/bin/mw-teardown.sh b/bin/mw-teardown.sh
index a9e4c2f..957c653 100755
--- a/bin/mw-teardown.sh
+++ b/bin/mw-teardown.sh
@@ -4,4 +4,6 @@
. /srv/deployment/integration/slave-scripts/bin/mw-set-env.sh
# Copy LocalSettings to /log so that archive-log-dir collects it
-cp "${MW_INSTALL_PATH}/LocalSettings.php" "$LOG_DIR"
+if [ -e "${MW_INSTALL_PATH}/LocalSettings.php" ]; then
+ cp "${MW_INSTALL_PATH}/LocalSettings.php" "$LOG_DIR"
+fi
--
To view, visit https://gerrit.wikimedia.org/r/223003
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I4cc816e0ba253add9eab2363b3e4c0830826c4cc
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
