[MediaWiki-commits] [Gerrit] wikidata...rdf[master]: remove duplicate key in RWStore props

2017-08-25 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( 
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(-)

Approvals:
  Smalyshev: Verified; Looks good to me, approved
  Lucas Werkmeister (WMDE): Looks good to me, but someone else must approve
  jenkins-bot: Verified



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: merged
Gerrit-Change-Id: I4f5a581a497f846e2addb492dcafb5a19e0ef83e
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Yurik 
Gerrit-Reviewer: Lucas Werkmeister (WMDE) 
Gerrit-Reviewer: Smalyshev 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits


[MediaWiki-commits] [Gerrit] wikidata...rdf[master]: remove duplicate key in RWStore props

2017-08-24 Thread Yurik (Code Review)
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 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits