equal
deleted
inserted
replaced
38 for rev in 0..index.len() { |
38 for rev in 0..index.len() { |
39 let rev = rev as Revision; |
39 let rev = rev as Revision; |
40 nm.insert(index, index.node(rev).unwrap(), rev).unwrap(); |
40 nm.insert(index, index.node(rev).unwrap(), rev).unwrap(); |
41 } |
41 } |
42 eprintln!("Nodemap constructed in RAM in {:?}", start.elapsed()); |
42 eprintln!("Nodemap constructed in RAM in {:?}", start.elapsed()); |
43 file.write(&nm.into_readonly_and_added_bytes().1)?; |
43 file.write_all(&nm.into_readonly_and_added_bytes().1)?; |
44 eprintln!("Nodemap written to disk"); |
44 eprintln!("Nodemap written to disk"); |
45 Ok(()) |
45 Ok(()) |
46 } |
46 } |
47 |
47 |
48 fn query(index: &Index, nm: &NodeTree, prefix: &str) { |
48 fn query(index: &Index, nm: &NodeTree, prefix: &str) { |