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

まず、plugin が DevMode プロセスと codeserver プロセスをどのように起動・停止するかを追跡し、次に GWT issue 10109 に記載されているクリーンアップ動作を確認します。実行中のプロセスが正常終了シグナルを受信でき、GWT、codeserver、Jetty、またはカスタムランチャーによって作成された一時フォルダーが JVM 終了時にクリーンアップされれば完了です。

索引モデルが issue の本文から書いたものです。