[fix] Don't delete ws when closing the server (#444)
J
Julian Grinblat committed
7f659a50d3cb336821476686bc3d373d0f9b27df
Parent: 60780e2
Committed by Damien Arrachequesne <damien.arrachequesne@gmail.com>
on 11/15/2016, 9:01:20 PM