-
Notifications
You must be signed in to change notification settings - Fork 42
Devtools Manual Restart
Alessandro Falappa edited this page Aug 30, 2018
·
4 revisions
The plugin allows to manually trigger spring boot devtools application restart instead of relying on 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 and/or live reload of resources in a web browser.