search

janjongboom / janpatch

JojoDiff Alternative Patch library - portable C library for memory-efficient binary patching
Other
133 stars 25 forks source link

final_flush needs to flush previous page if page change happened #10

Closed janjongboom closed 6 years ago

janjongboom commented 6 years ago

Fix for #9

If a page change happened just before final_flush was called, only the new page is flushed. Final flush now checks if a page change had happened, and if so, will also flush the previous page.