tree abd7fc42715b96a7e4ae78abcf0cc454533d4ff1
parent 4f24814db15d2e580b81c7005e2faf279ccb0e77
author David Blevins <dblevins@tomitribe.com> 1650957875 -0700
committer Romain Manni-Bucau <rmannibucau@gmail.com> 1651129465 +0200

JOHNZON-367 Reduce calls to flush() to the bare minimum
Call flush only before snippet.terminate() and snippet.get()
Reduce calls to snippet.terminate() to only what is needed