diff options
author | Kjetil Ørbekk <kjetil.orbekk@gmail.com> | 2012-03-13 12:51:09 +0100 |
---|---|---|
committer | Kjetil Ørbekk <kjetil.orbekk@gmail.com> | 2012-03-13 12:51:09 +0100 |
commit | af836cf8e577d2dabeb6450066bcc7ff55bf70e8 (patch) | |
tree | 98632cd6e4a9e59bfcf347ef7a2b3e393f91d7f8 /same/src/main/java/com/orbekk/same/Master.java | |
parent | 66efef77ac11f57b8e67c5ecb359a75f61790557 (diff) |
Add MasterController interface.
This interface should be used by a client in order to become a master.
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) { + } } |