Custom Query (424 matches)

Servlet API says:

2.1.3 Conditional GET Support The HttpServlet interface defines the getLastModified method to support conditional GET operations.

So I propose to add into Servlet.HTTP_Servlets something like this:

   function Unknown_Date_Time return League.Calendars.Date_Time with Inline;
   
   not overriding function Get_Last_Modified
    (Self     : in out HTTP_Servlet;
     Request  : Servlet.HTTP_Requests.HTTP_Servlet_Request'Class)
      return League.Calendars.Date_Time;
   --  Returns the time the Http_Servlet_Request object was last modified.
   --  If the time is unknown, this method returns Unknown_Date_Time value.
   --  Servlets that support HTTP GET requests and can quickly determine their
   --  last modification time should override this method. This makes browser
   --  and proxy caches work more effectively, reducing the load on server and
   --  network resources.

Alternative is to return Optional_Date_Time or rewrite funcition as procedure with an additional Success : out Booleanparameter.

Deployment descriptor should allow:

• specify shared library to be loaded
• specify servlets to be instantiated at startup
• specify request mappings to servlets

When compiling with GNAT GPL 2016 I got next error:

gcc wsdl-driver.o -o wsdl2ada
/home/max/net/matreshka/.libs//libleague-2016.so: undefined reference to `league__json__objects__to_json_value'

After fixing this with adding 'Class to argument type all works fine. Then make check fails on valgrind somewhere in glibc. Corresponding suppression is:

{
   Glibc error ??
   Memcheck:Cond
   fun:index
   fun:expand_dynamic_string_token
   fun:fillin_rpath
   fun:_dl_init_paths
   fun:dl_main
   fun:_dl_sysdep_start
   fun:_dl_start
}