Merge pull request #3 from Kethku/arrangement-set_timeout-fix

arrangement set_timeout fix
DistributedComponents · Mar 5, 2017 · 5b5e764 · 5b5e764
2 parents 974cb4b + 22fd8e1
commit 5b5e764
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/extraction/lockserv-seqnum/ocaml/LockServSeqNumArrangement.ml b/extraction/lockserv-seqnum/ocaml/LockServSeqNumArrangement.ml
@@ -16,7 +16,7 @@ module LockServSeqNumArrangement (P : Params) = struct
   type client_id = int
   type res = (output list * state) * ((name * msg) list)
   type task_handler = name -> state -> res
-  type timeout_setter = name -> state -> float
+  type timeout_setter = name -> state -> float option
 
   let systemName = "Lock Server with Sequence Numbering"
 

diff --git a/extraction/lockserv/ocaml/LockServArrangement.ml b/extraction/lockserv/ocaml/LockServArrangement.ml
@@ -16,7 +16,7 @@ module LockServArrangement (P : Params) = struct
   type client_id = int
   type res = (output list * state) * ((name * msg) list)
   type task_handler = name -> state -> res
-  type timeout_setter = name -> state -> float
+  type timeout_setter = name -> state -> float option
 
   let systemName = "Lock Server"
 
@@ -35,7 +35,7 @@ module LockServArrangement (P : Params) = struct
   let handleNet = fun dst src m s ->
     let open LockServ in
     Obj.magic ((lockServ_MultiParams P.num_clients).net_handlers (Obj.magic dst) (Obj.magic src) (Obj.magic m) (Obj.magic s))
-    
+
   let deserializeMsg = LockServSerialization.deserializeMsg
 
   let serializeMsg = LockServSerialization.serializeMsg