crdt_insert_new_entry_counter (#680)

This commit is contained in:
anatoly yakovenko 2018-07-17 22:55:53 -07:00 committed by GitHub
parent 85d6627ee6
commit 8cf5620b87
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -421,6 +421,9 @@ impl Crdt {
v.debug_id(),
v.version
);
if self.table.get(&v.id).is_none() {
inc_new_counter!("crdt-insert-new_entry", 1, 1);
}
self.update_index += 1;
let _ = self.table.insert(v.id, v.clone());