aboutsummaryrefslogtreecommitdiff
path: root/README.rst
diff options
context:
space:
mode:
authorDeterminant <ted.sybil@gmail.com>2020-02-25 16:16:33 -0500
committerDeterminant <ted.sybil@gmail.com>2020-02-25 16:16:33 -0500
commit601fe38247a8232694a3c9af282c179e6ad1720d (patch)
treed72360651d73d67af6bc3bd51801b8fb1825d8e0 /README.rst
parent978f39fb6e01256d388bc295e4fd8138f20ef58f (diff)
bump salticidae version and make some minor changes
Diffstat (limited to 'README.rst')
-rw-r--r--README.rst9
1 files changed, 8 insertions, 1 deletions
diff --git a/README.rst b/README.rst
index 4560092..a8ec2b4 100644
--- a/README.rst
+++ b/README.rst
@@ -63,7 +63,14 @@ section may be incomplete and subject to changes.
make
# start 4 demo replicas with scripts/run_demo.sh
- # start the demo client with scripts/run_demo_client.sh
+ # then, start the demo client with scripts/run_demo_client.sh
+
+
+ # Fault tolerance:
+ # Try to run run_demo.sh first and then run_demo_client.sh, then use Ctrl-C
+ # to terminate the proposing replica (e.g. replica 0). Leader rotation will
+ # be scheduled. Try to kill and run run_demo_client.sh again, new commands
+ # should still get through (be replicated) once the new leader becomes stable.
TODO
====