Searched refs:index_of_header (Results 1 – 1 of 1) sorted by relevance
19 let index_of_header = MSG.find(header).unwrap(); in notice() localVariable20 let before = &MSG[..index_of_header]; in notice()21 let after = &MSG[index_of_header + header.len()..]; in notice()