Olivier Galibert writes:
I'd like to delete the consoles and shut_down_emacs() before
dumping,
if order to dump the console and device lrecords (3 consoles, 1
device) in a sane state[1]. Any fundamental objections ?
OG.
[1] Actually, I'd rather not dump them at all, but heh.
Again, your second idea seems the best one. Don't dump them.