diff options
| author | Sam Anthony <sam@samanthony.xyz> | 2024-11-28 10:37:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-28 10:37:30 -0500 |
| commit | 0cae203edc71b0285d2971f9124f24cb543b8e39 (patch) | |
| tree | a16d0137d60d813c6ff06f2029ad8a935d2a804e /src/main/java/derms/frontend/FEInterface.java | |
| parent | b7dabf61e2f4deea23c9a4cbf33da419d031c5e8 (diff) | |
| parent | fe384df239711ad0990e39d585e64292816bf24f (diff) | |
| download | soen423-0cae203edc71b0285d2971f9124f24cb543b8e39.zip | |
Merge pull request #1 from sam-rba/ReplicaManager
merge replicas
Diffstat (limited to 'src/main/java/derms/frontend/FEInterface.java')
| -rw-r--r-- | src/main/java/derms/frontend/FEInterface.java | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/main/java/derms/frontend/FEInterface.java b/src/main/java/derms/frontend/FEInterface.java index 5a4e6f1..292f960 100644 --- a/src/main/java/derms/frontend/FEInterface.java +++ b/src/main/java/derms/frontend/FEInterface.java @@ -1,11 +1,12 @@ package derms.frontend; +import derms.Request; public interface FEInterface { - void informRmHasBug(int RmNumber); + void informRmHasBug(int replicaId); - void informRmIsDown(int RmNumber); + void informRmIsDown(int replicaId); - int sendRequestToSequencer(MyRequest myRequest); + int sendRequestToSequencer(Request request); - void retryRequest(MyRequest myRequest); + void retryRequest(Request request); }
\ No newline at end of file |