src/Tools/WWW_Find/scgi_server.ML

                 (send (HttpUtil.reply_header (HttpStatus.ok, t, []));
                  if request_method = ScgiReq.Head then ()
                  else f (req, get_content content_is, send)))
           end;
 
-        fun thread_req () =
+        fun thread_req () =  (* FIXME avoid handle e *)
           (do_req () handle e => (warning (exnMessage e));
            BinIO.closeOut sout handle e => warning (exnMessage e);
            BinIO.closeIn sin handle e => warning (exnMessage e);
            Socket.close sock handle e => warning (exnMessage e);
            tracing ("request done.");