Yurik has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373728 )
Change subject: remove duplicate key in RWStore props ...................................................................... remove duplicate key in RWStore props Change-Id: I4f5a581a497f846e2addb492dcafb5a19e0ef83e --- M dist/src/script/RWStore.properties 1 file changed, 0 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/rdf refs/changes/28/373728/1 diff --git a/dist/src/script/RWStore.properties b/dist/src/script/RWStore.properties index 2a44870..c76cde1 100644 --- a/dist/src/script/RWStore.properties +++ b/dist/src/script/RWStore.properties @@ -2,8 +2,6 @@ com.bigdata.journal.AbstractJournal.file=wikidata.jnl com.bigdata.journal.AbstractJournal.bufferMode=DiskRW com.bigdata.service.AbstractTransactionService.minReleaseAge=1 -com.bigdata.btree.writeRetentionQueue.capacity=4000 -com.bigdata.btree.BTree.branchingFactor=128 com.bigdata.rdf.store.AbstractTripleStore.quads=false com.bigdata.rdf.store.AbstractTripleStore.statementIdentifiers=false -- To view, visit https://gerrit.wikimedia.org/r/373728 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I4f5a581a497f846e2addb492dcafb5a19e0ef83e Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/rdf Gerrit-Branch: master Gerrit-Owner: Yurik <yuriastrak...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits