websrv_lib: one more more handle against closing exception.
websrv_lib: one more more handle against closing exception.

Fixes some annoying but harmless message upon server exit.

xrg/openerp-server,xrg/openerp-server