fix(web2): Removed servlet unregistration during update if options are not changed [backport release-5.5.0]

eclipse-kura / kura

Eclipse Kura™ is a versatile framework to supercharge your edge devices, streamlining the process of configuring your gateway, connecting sensors, and IoT devices to seamlessly collect, process, and send data to the cloud.

https://eclipse.dev/kura/

Eclipse Public License 2.0

498 stars 305 forks source link

fix(web2): Removed servlet unregistration during update if options are not changed [backport release-5.5.0] #5268

Closed github-actions[bot] closed 3 months ago

github-actions[bot] commented 3 months ago

Backport 485d65ef8f2031c679d481c6336da7666719a33e from #5263.