bede9f42e8
Otherwise the origin will not be able to do any communication anymore as used sockets might not be valid any more. Fixes #317