umgeher/leveled
0
Fork 0
Code Issues Pull requests Releases Activity Actions

Add timing points

Browse source 
Add some timing points to manifest updates
This commit is contained in:
martinsumner 2017-01-15 10:36:50 +00:00
parent 8e92a2c563
commit 13c5cc8899
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/leveled_pclerk.erl
View file

@ -109,10 +109,14 @@ handle_work({SrcLevel, Manifest}, State) ->
Manifest,
State#state.root_path),
leveled_log:log("PC007", []),
SWMC = os:timestamp(),
ok = leveled_penciller:pcl_manifestchange(State#state.owner,
UpdManifest),
leveled_log:log_timer("PC017", [], SWMC),
SWSM = os:timestamp(),
ok = leveled_manifest:save_manifest(UpdManifest,
State#state.root_path),
leveled_log:log_timer("PC018", [], SWSM),
ok = notify_deletions(EntriesToDelete, State#state.owner).
merge(SrcLevel, Manifest, RootPath) ->