diff options
author | Richard van der Hoff <richard@matrix.org> | 2016-06-30 11:27:25 +0100 |
---|---|---|
committer | Richard van der Hoff <richard@matrix.org> | 2016-06-30 11:38:01 +0100 |
commit | 8dd3c182ee568b9121a336b106aaaceedd1cc470 (patch) | |
tree | 24560387e186d7235decfb251ce748401b585004 /jenkins.sh | |
parent | 757c422578b417f5184fa9e17a32587de676b9d1 (diff) |
Make space in the session pickle for chain index
Keeping track of the chain index is a useful thing to do, but is only required
if we've enabled diagnostics. Extend the session pickle format to make a space
for it, so that pickles can be transferred between the logging_enabled branch
and the master branch without loss of information.
Also add some tests for session pickling which explicitly check that we can
unpickle both formats of pickle.
Diffstat (limited to 'jenkins.sh')
0 files changed, 0 insertions, 0 deletions