code: public void handleOptions(HttpServletRequest request, HttpServletResponse response) throws IOException
      {
          // Handle OPTIONS request for entire server
          // 9.2
          response.setIntHeader(HttpFields.__ContentLength, 0);
          response.setHeader(HttpFields.__Allow, _AllowString);
          response.flushBuffer();
      }
docs: /* ------------------------------------------------------------