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 Spring developer tools support #219

Merged
merged 9 commits into from
Nov 23, 2024
Merged

Conversation

freya022
Copy link
Owner

New features

  • Added support for Spring developer tools
  • Added automatic JDA shutdown, configurable using the jda.devtools.* properties

@freya022 freya022 added type: enhancement V3 Targets BotCommands 3.x.x labels Nov 23, 2024
@freya022 freya022 added this to the v3.0 milestone Nov 23, 2024
@freya022 freya022 changed the title Improve Spring developer tools support Add Spring developer tools support Nov 23, 2024
@freya022 freya022 merged commit d1f1901 into 3.X Nov 23, 2024
2 checks passed
@freya022 freya022 deleted the improve-spring-devtools-support branch November 23, 2024 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement V3 Targets BotCommands 3.x.x
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant