#9 Provide a shutdown hook for scripts

[Mirko Raner]

There should be a hook for script code that gets executed when the workbench is shut down. This would be mainly useful for clean-up tasks, such as deleting temporary workspaces or uploading build products.

As most of the workbench services will be shut down at the point where the hook is executed it makes little sense to support <wizard>, <action>, or <command> elements in this context (though some <command> elements might still work). However, executing Ant commands would still make sense.

The new element could look like this:

<escript>

...

<shutdown>
<ant ...>
...
</ant>
</shutdown>
</escript>