kill server when port is already used
[myslice.git] / manifold / __init__.py