Export withSocketsDo