Added server socket closing at shutdown
Merged in ServerSocket close fix from Anders Welen.
Lint.