Skip to content

Fix #120: start and stop each server plugin only once - #397

Merged
mgaffigan merged 2 commits into
OpenIntegrationEngine:mainfrom
ggiannola:fix/120-serverplugin-duplicate-start-stop
Jul 31, 2026
Merged

Fix #120: start and stop each server plugin only once#397
mgaffigan merged 2 commits into
OpenIntegrationEngine:mainfrom
ggiannola:fix/120-serverplugin-duplicate-start-stop

Use a Set for serverPlugins instead of a de-duplicating adder

69962ae
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 30, 2026 in 0s

DCO

All commits are signed off!