server now kills off submission handlers we definitely do not need anymore; a proper overhaul of submission handling is needed though...
server now kills off submission handlers we definitely do not need anymore; a proper overhaul of submission handling is needed though...

wtsi-hgi/vr-pipe,wtsi-hgi/vr-pipe