added a socket option so that OS will immediately release socket once server stops