diff options
author | Determinant <ted.sybil@gmail.com> | 2020-02-25 16:16:33 -0500 |
---|---|---|
committer | Determinant <ted.sybil@gmail.com> | 2020-02-25 16:16:33 -0500 |
commit | 601fe38247a8232694a3c9af282c179e6ad1720d (patch) | |
tree | d72360651d73d67af6bc3bd51801b8fb1825d8e0 /README.rst | |
parent | 978f39fb6e01256d388bc295e4fd8138f20ef58f (diff) |
bump salticidae version and make some minor changes
Diffstat (limited to 'README.rst')
-rw-r--r-- | README.rst | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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 ==== |