Pickle dump is not flushed before exit

[Johan511]

Hi, I have been playing around with seL4 recently and had faced the following error

Traceback (most recent call last):
  File "camkes-project/projects/capdl/python-capdl-tool/../cdl_utils/capdl_linker.py", line 153, in <module>
    sys.exit(main())
             ~~~~^^
  File "camkes-project/projects/capdl/python-capdl-tool/../cdl_utils/capdl_linker.py", line 127, in main
    allocator_state = pickle.load(args.manifest_in)
EOFError: Ran out of input

The pickle file generated seems to be empty, possibly because it is not flushed before sys.exit is called.

.close() implicitly flushes the file and also closes it.

[lsf37]

Thanks. I can at least not see that this change would hurt.

[lsf37]

On second thought, have you seen this fix your problem? Because the only thing that runs afterwards is sys.exit which should close the file and do the same thing.

The change should not be necessary

[Johan511]

Yes, this did fix my problem.

I have explicitly verified that commenting out the line leads to the error, whereas closing the file explicitly causes no such errors.

I am not very well-versed with the internals of python so can not comment on why sys.exit does not implicitly flush the file.