Skip to content

Use new resource API - #1687

Merged
vietj merged 1 commit into
masterfrom
use-new-resource-api
Aug 10, 2026
Merged

Use new resource API#1687
vietj merged 1 commit into
masterfrom
use-new-resource-api

Conversation

@vietj

@vietj vietj commented Aug 10, 2026

Copy link
Copy Markdown
Member

Motivation:

Vert.x core has introduced new API for resource cleanup.

This project should use it.

Changes:

Use new resource cleanup API.

@vietj
vietj force-pushed the use-new-resource-api branch 2 times, most recently from 135afcc to c5aa67e Compare August 10, 2026 09:06
Motiation:

Vert.x core has introduced new API for resource cleanup.

This project should use it.

Changes:

Use new resource cleanup API.
@vietj vietj added this to the 5.2.0 milestone Aug 10, 2026
@vietj
vietj force-pushed the use-new-resource-api branch from c5aa67e to 4de1246 Compare August 10, 2026 09:16
@vietj vietj changed the title Use new resource API for connection pools. Use new resource API Aug 10, 2026
@vietj vietj self-assigned this Aug 10, 2026
@vietj
vietj merged commit 99e5c1b into master Aug 10, 2026
19 checks passed
@vietj
vietj deleted the use-new-resource-api branch August 10, 2026 09:22
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.

1 participant