jenkins-bot has submitted this change and it was merged.
Change subject: Allow extra args and add log configuration
......................................................................
Allow extra args and add log configuration
updater-logs.xml is supposed to be generated by puppet config.
Change-Id: Icd29e4a04e702fa8f2459aa09986b5827719567e
---
M dist/src/script/runUpdate.sh
1 file changed, 10 insertions(+), 1 deletion(-)
Approvals:
Smalyshev: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dist/src/script/runUpdate.sh b/dist/src/script/runUpdate.sh
index d8db294..9dfee53 100755
--- a/dist/src/script/runUpdate.sh
+++ b/dist/src/script/runUpdate.sh
@@ -15,6 +15,9 @@
esac
done
+# allow extra args
+shift $((OPTIND-1))
+
if [ -z "$NAMESPACE" ]
then
echo "Usage: $0 -n <namespace> [-h <host>] [-c <context>]"
@@ -31,8 +34,14 @@
ARGS="$ARGS --skipSiteLinks"
fi
+if [ -f updater-logs.xml ]; then
+ LOG="-Dlogback.configurationFile=updater-logs.xml"
+else
+ LOG=""
+fi
+
CP=lib/wikidata-query-tools-*-jar-with-dependencies.jar
MAIN=org.wikidata.query.rdf.tool.Update
SPARQL_URL=$HOST/$CONTEXT/namespace/$NAMESPACE/sparql
echo "Updating via $SPARQL_URL"
-java -cp $CP $MAIN $ARGS --sparqlUrl $SPARQL_URL
+java -cp $CP $LOG $MAIN $ARGS --sparqlUrl $SPARQL_URL "$@"
--
To view, visit https://gerrit.wikimedia.org/r/222029
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icd29e4a04e702fa8f2459aa09986b5827719567e
Gerrit-PatchSet: 4
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Smalyshev <[email protected]>
Gerrit-Reviewer: Jdouglas <[email protected]>
Gerrit-Reviewer: Manybubbles <[email protected]>
Gerrit-Reviewer: Smalyshev <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
