
        Fix server.close, fixes #900