[panda-users] Cleanly terminate replay

[Juan Caballero]

Hi again,
Is there a way to cleanly terminate a replay in the middle? (for example
when the process of interest dies after half of the replay)
So far I do:
unit_plugin(NULL) ;
exit(-1);

This allows my plugin to clean up its state, but it does not give a chance
to PANDA to do its own cleanup. 
Does anyone use a better approach?

Thanks,
Juan