Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add a box with clarification for java changes and restart #1559

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

rjayasinghe
Copy link
Contributor

No description provided.

@rjayasinghe rjayasinghe requested a review from bugwelle January 15, 2025 06:52
@@ -31,6 +31,12 @@ Once this is added, you can use the restart capabilities of the Spring Boot Devt
* Artifacts generated from CDS (schema.sql, CSN, EDMX)
* Any other static resource

::: warning Restart for changed Java classes
Sometimes, it happens that a (saved) change to a Java class does not result in an application restart even though you would have expected it. The reason is that the restart support for the Spring Boot Devtools only listens to changed `.class` files. So, a changed class only is detected as changed after it has been built.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Sometimes, it happens that a (saved) change to a Java class does not result in an application restart even though you would have expected it. The reason is that the restart support for the Spring Boot Devtools only listens to changed `.class` files. So, a changed class only is detected as changed after it has been built.
Sometimes, it happens that a (saved) change to a Java class does not result in an application restart even though you would have expected it. The reason is that the restart support for the Spring Boot Devtools only listens to changed `.class` files. So, a changed class only is detected it has been built.

@rjayasinghe rjayasinghe enabled auto-merge January 15, 2025 07:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants