diff options
| author | Shawn Pearce <spearce@spearce.org> | 2015-12-04 15:02:09 -0800 |
|---|---|---|
| committer | Shawn Pearce <spearce@spearce.org> | 2016-01-19 23:04:41 -0800 |
| commit | 1f9d2050434f7ad25e06f44c1842dd365d6ec539 (patch) | |
| tree | b38757047ff27dc30c4837ad8a7e0f5281b27d0e /org.eclipse.jgit/resources | |
| parent | b718e3d3042eee2d4e38ee13affbabc224d53ef1 (diff) | |
| download | jgit-1f9d2050434f7ad25e06f44c1842dd365d6ec539.tar.gz jgit-1f9d2050434f7ad25e06f44c1842dd365d6ec539.zip | |
Ketch: Intercept push and route it through Ketch
Capture commands and pass to the in-process KetchLeader, allowing
it to replicate to followers.
Change-Id: I25dfeb2a93821af65354337f391480a72bae2210
Diffstat (limited to 'org.eclipse.jgit/resources')
| -rw-r--r-- | org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties index 4984dda74d..3817fb93cc 100644 --- a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties +++ b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties @@ -1,7 +1,12 @@ +accepted=accepted. cannotFetchFromLocalReplica=cannot fetch from LocalReplica +failed=failed! leaderFailedToStore=leader failed to store localReplicaRequired=LocalReplica instance is required mismatchedTxnNamespace=mismatched txnNamespace; expected {0} found {1} outsideTxnNamespace=ref {0} is outside of txnNamespace {1} +proposingUpdates=Proposing updates queuedProposalFailedToApply=queued proposal failed to apply +starting=starting! unsupportedVoterCount=unsupported voter count {0}, expected one of {1} +waitingForQueue=Waiting for queue |