Graceful exit for cleanup of temporary folders

I have noticed temporary files and folders created during "DevMode" and "codeserver" execution, which are never deleted because there is no way to exit the running process gracefully.

Some of the folders seem to be generated by "codeserver" , some others by the GWT compiler , some others by Jetty, etc.

There is also possibility for more temporary folders being be created by custom DevMode launchers, leading to even greater waste of space.

GWT is expected to be cleaning these folders on JVM exit, if it does not already.

Theoretically, GWT Plugin should able to send a graceful termination signal to the running DevMode process.

Would such a feature be desirable ?

see also https://github.com/gwtproject/gwt/issues/10109

Start by tracing how the plugin launches and stops DevMode and codeserver processes, then review the cleanup behavior described in GWT issue 10109. Done means the running process can receive a graceful termination signal and temporary folders created by GWT, codeserver, Jetty, or custom launchers are cleaned up on JVM exit.

Vom Indexierungsmodell aus dem Issue-Text verfasst.