#39 CleverPHL: no "emergency save" on System.exit()

[Daniel Herding]

As I understand it, CleverPHL is supposed to save all open sessions when a target application unexpectedly calls System.exit(). The session class has a shutdown hook which should save on shutdown.

I tried it with Jacareto 0.8.0, and the shutdown hook didn't work properly. After rewriting the saving system for 0.8.1 (*.jac files), the shutdown hook feature is still non-functional. I have located the showstopper in XMLStructure.replaceRecordable(). It replaces all recordables in the structure with position recordables. The BasicTreeUI of the structure JTree listens to changes to the structure, therefore it is notified of this replacement. But the JTree no longer exists during shutdown, and saving hangs at that point.

Because of this bug, I have currently disabled saving in Session.ShutdownHook.run().

[Daniel Herding]

XMLStructure was completely removed in Jacareto 0.8.1, so we can consider re-enabling the shutdown hook.