Devtools Manual Restart

The plugin allows to manually trigger spring boot developer tools restart instead of relying on normal devtools classpath change detection.

Developer tools manual reload is exposed trough an action bound to a new toolbar button and to the Ctrl + Shift + A shortcut key (by default):

If the developer tools manual trigger is enabled in the project properties the application is launched with a special environment variable, thus when the action is invoked a trigger file is written in the project output folder (typically target/classes). Developer tools monitor that trigger file and force an application restart.