jenkins-bot has submitted this change and it was merged. Change subject: Start Jolokia together with Updater ......................................................................
Start Jolokia together with Updater Bug: T134523 Change-Id: Ice9e503fb007381f9fb729c23eb8f5e6cb5f8a65 --- M dist/src/script/runUpdate.sh 1 file changed, 2 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 aeb258e..9b2a532 100755 --- a/dist/src/script/runUpdate.sh +++ b/dist/src/script/runUpdate.sh @@ -43,5 +43,6 @@ CP=lib/wikidata-query-tools-*-jar-with-dependencies.jar MAIN=org.wikidata.query.rdf.tool.Update SPARQL_URL=$HOST/$CONTEXT/namespace/$NAMESPACE/sparql +AGENT=-javaagent:lib/jolokia-jvm-1.3.1-agent.jar=port=8778,host=localhost echo "Updating via $SPARQL_URL" -java -Xmx2g -cp $CP $LOG $MAIN $ARGS --sparqlUrl $SPARQL_URL "$@" +java -Xmx2g -cp $CP $LOG $AGENT $MAIN $ARGS --sparqlUrl $SPARQL_URL "$@" -- To view, visit https://gerrit.wikimedia.org/r/287128 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ice9e503fb007381f9fb729c23eb8f5e6cb5f8a65 Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/rdf Gerrit-Branch: master Gerrit-Owner: Smalyshev <[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
