Smalyshev has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/350660 )
Change subject: Improve the run sctipt and fix Update not exiting cleanly
......................................................................
Improve the run sctipt and fix Update not exiting cleanly
Change-Id: I3b595c79f8bb7388154d3f4e59b6e337ae8fb36b
---
M tools/runBlazegraph.sh
M tools/src/main/java/org/wikidata/query/rdf/tool/Update.java
2 files changed, 12 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/rdf
refs/changes/60/350660/1
diff --git a/tools/runBlazegraph.sh b/tools/runBlazegraph.sh
index c5ec03a..0e101af 100755
--- a/tools/runBlazegraph.sh
+++ b/tools/runBlazegraph.sh
@@ -1,3 +1,9 @@
#!/bin/bash
-mvn jetty:run
+DIR=${DIR:-`dirname $0`}
+cd $DIR/..
+if [ "$1x" = "-dx" -o "$1x" = "--debugx" ]; then
+ mvnDebug -pl tools jetty:run
+else
+ mvn -pl tools jetty:run
+fi
diff --git a/tools/src/main/java/org/wikidata/query/rdf/tool/Update.java
b/tools/src/main/java/org/wikidata/query/rdf/tool/Update.java
index 47560e6..c711fc0 100644
--- a/tools/src/main/java/org/wikidata/query/rdf/tool/Update.java
+++ b/tools/src/main/java/org/wikidata/query/rdf/tool/Update.java
@@ -131,8 +131,12 @@
new LinkedBlockingQueue<Runnable>(), threadFactory.build());
Munger munger = mungerFromOptions(options);
- new Update<>(changeSource, wikibaseRepository, rdfRepository, munger,
executor,
+ try {
+ new Update<>(changeSource, wikibaseRepository, rdfRepository,
munger, executor,
options.pollDelay(), uris, options.verify()).run();
+ } finally {
+ rdfRepository.close();
+ }
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/350660
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I3b595c79f8bb7388154d3f4e59b6e337ae8fb36b
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Smalyshev <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
