diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-30 16:42:16 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-02-11 13:12:41 -0500 |
commit | e18a3c7314ddfabd3d6eabad4a32d6e571e2ec42 (patch) | |
tree | ba3d380110d5e81a39ec4fea7c756de36b5ef8cd /src/debug-generator | |
parent | 4ac2ca1bdb8ff0e862927c3e1162c3686449c50a (diff) |
resolved: add cleanup function to rewind packets
This makes the behaviour more consistent. Before we would not rewind
after some errors, but this seems to have been an unintentional
omission.
Diffstat (limited to 'src/debug-generator')
0 files changed, 0 insertions, 0 deletions