Weblaunch fixes
Infer nullity
Handle disconnection
Update submodules