Skip to content

vtkServerSession: Clean up before unregister

Deleting providers and shutting down the service avoids having any RPCs scheduled during unregistration.

Also minor fixes in the ci.

Merge request reports

Loading