diff options
Diffstat (limited to 'same/src/main/java/com/orbekk/same/Master.java')
| -rw-r--r-- | same/src/main/java/com/orbekk/same/Master.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/same/src/main/java/com/orbekk/same/Master.java b/same/src/main/java/com/orbekk/same/Master.java index 88177d6..6e08c48 100644 --- a/same/src/main/java/com/orbekk/same/Master.java +++ b/same/src/main/java/com/orbekk/same/Master.java @@ -132,4 +132,8 @@ public class Master { } }); } + + /** This master should take over from an earlier master. */ + public void resumeFrom(State lastKnownState) { + } } |