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

Commits on Jul 29, 2026

Fix #120: start and stop each server plugin only once
ggiannola
committed
8771d6d

Commits on Jul 30, 2026

Use a Set for serverPlugins instead of a de-duplicating adder
ggiannola
committed
69962ae