kill server when port is already used
[unfold.git] / demo_trash /
drwxr-xr-x   ..
drwxr-xr-x - tabs