balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Shell/Irmin: tag the commit of the head as the "git branch"

Browse Source
This commit is contained in:
Grégoire Henry 2017-09-22 18:20:26 +02:00 committed by Grégoire
parent 1384253447
commit 76bf007660
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/node/shell/state.ml
View File

@ -84,10 +84,18 @@ let read_chain_store { chain_state } f =
f state.chain_store state.data f state.chain_store state.data
end end
let update_chain_store { chain_state } f = let update_chain_store { net_id ; context_index ; chain_state } f =
Shared.use chain_state begin fun state -> Shared.use chain_state begin fun state ->
f state.chain_store state.data >>= fun (data, res) -> f state.chain_store state.data >>= fun (data, res) ->
Utils.iter_option data ~f:(fun data -> state.data <- data) ; Lwt_utils.may data
~f:begin fun data ->
state.data <- data ;
Shared.use context_index begin fun context_index ->
Context.set_head context_index net_id
data.current_head.contents.context
end >>= fun () ->
Lwt.return_unit
end >>= fun () ->
Lwt.return res Lwt.return res
end end