Patch title: Release 92 bulk changes
Abstract:
File: /protocol/http/server.pli
Key:
    Removed line
    Added line
   
abstract
  [Pliant HTTP server implementation, according to RFC2616] 
  [This implementation also contains a very powerfull mecani



module "proxy.pli"
abstract
  [Pliant HTTP server implementation, according to RFC2616] 
  [This implementation also contains a very powerfull mecani



module "proxy.pli"
module "/pliant/fullpliant/this_computer.pli"

constant database true
constant compression os_zlib_filename<>""
constant chunking true
constant conservative false
constant common_path "/common/"+string:pliant_release_number

constant database true
constant compression os_zlib_filename<>""
constant chunking true
constant conservative false
constant common_path "/common/"+string:pliant_release_number
constant is_logical_computer this_computer:env:"pliant":"system":"medium"="logical"


public
  type HttpRequest
    field Link:Stream stream
    field Link:HttpServer server
    field Float protocol_level


public
  type HttpRequest
    field Link:Stream stream
    field Link:HttpServer server
    field Float protocol_level
    field Str remote_ip_address
    field CBool keep_alive_requested
    field CBool keep_alive_applied
    field Float keep_alive_timeout
    #
    field Str command
    field Str encoded_path path
    field Str encoded_options options
    field Str context
    field Link:Type context_type
    field Str form
    field Str user_name
    field Int user_auth_level <- 0
    field CBool user_is_admin <- false
    field Str user_shaker
    field Str browser
    field Str browser_model ; field Float browser_release
    field Str supported_encoding
    field Str lang
    field Str site_name
    field Str area_path area_root
    field Str site_default
    field Str style_name
    field Str style_options
    field Str forward
    field Dictionary rights
    #
    field Str query_first_line
    field List query_log
    field Link:Stream query_stream
    field CBool answer_header_sent answer_footer_sent
    field Str answer_status           # status message that 
    field DateTime answer_datetime
    field CBool answer_is_dynamic
    field Str answer_mime_type
    field Int answer_size
    field Str answer_encoding
    field CBool answer_chunked
    field List answer_extra
    field Link:Stream answer_stream
    field List temp_files
    field TraceSession log
    field Address log_mark


public
  type HtmlPage
    field Link:Stream http_stream
    field Pointer:HttpRequest http_request
    # styling
    field TagStack tag_stack
    field Dictionary environment
    field Link:Function html_hook text_hook begin_hook end_h
    field CBool keep_alive_requested
    field CBool keep_alive_applied
    field Float keep_alive_timeout
    #
    field Str command
    field Str encoded_path path
    field Str encoded_options options
    field Str context
    field Link:Type context_type
    field Str form
    field Str user_name
    field Int user_auth_level <- 0
    field CBool user_is_admin <- false
    field Str user_shaker
    field Str browser
    field Str browser_model ; field Float browser_release
    field Str supported_encoding
    field Str lang
    field Str site_name
    field Str area_path area_root
    field Str site_default
    field Str style_name
    field Str style_options
    field Str forward
    field Dictionary rights
    #
    field Str query_first_line
    field List query_log
    field Link:Stream query_stream
    field CBool answer_header_sent answer_footer_sent
    field Str answer_status           # status message that 
    field DateTime answer_datetime
    field CBool answer_is_dynamic
    field Str answer_mime_type
    field Int answer_size
    field Str answer_encoding
    field CBool answer_chunked
    field List answer_extra
    field Link:Stream answer_stream
    field List temp_files
    field TraceSession log
    field Address log_mark


public
  type HtmlPage
    field Link:Stream http_stream
    field Pointer:HttpRequest http_request
    # styling
    field TagStack tag_stack
    field Dictionary environment
    field Link:Function html_hook text_hook begin_hook end_h
    field Str button_header <- "button*0*0*"
    # informations from the HTTP request
    field Str file_name
    field Str virtual_path
    field Str options                 # decoded options



    # informations from the HTTP request
    field Str file_name
    field Str virtual_path
    field Str options                 # decoded options



method request adjust_remote_ip_address
  arg_rw HttpRequest request
  if is_logical_computer and request:remote_ip_address="127.0.0.1"
    var Pointer:Arrow c :> request:query_log first
    while c<>null
      if ((c map Str) parse "Origin-IP:" any:(var Str rip))
        request remote_ip_address := rip
      c :> request:query_log next c


method request assign_user
  arg_rw HttpRequest request
  var Str ruser := request:stream safe_query "remote_user"


method request assign_user
  arg_rw HttpRequest request
  var Str ruser := request:stream safe_query "remote_user"
  var Str ip := request:stream query "remote_ip_address"
  if ruser<>""
    request user_name := ruser
    request user_auth_level := 3
    if compression and (request:stream safe_query "encoding"
      request supported_encoding := ""
  request rights := var Dictionary empty_dictionary
  var Str rights
  if request:user_is_admin
    rights := " administrator"
  else
    rights := ""
  if ruser<>""
    request user_name := ruser
    request user_auth_level := 3
    if compression and (request:stream safe_query "encoding"
      request supported_encoding := ""
  request rights := var Dictionary empty_dictionary
  var Str rights
  if request:user_is_admin
    rights := " administrator"
  else
    rights := ""
    request assign_rights "anonymous" ip rights
    request assign_rights "anonymous" request:remote_ip_address rights
    each t (user request:user_name):template
    each t (user request:user_name):template
      request assign_rights t ip rights
      request assign_rights t request:remote_ip_address rights
    if request:user_name<>""
    if request:user_name<>""
      request assign_rights request:user_name ip rights
      request assign_rights request:user_name request:remote_ip_address rights
  request:log trace "user " request:user_name " " request:us
  if request:user_name<>""
  request:log trace "user " request:user_name " " request:us
  if request:user_name<>""
    if not (login_record request:user_name ip (shunt request
    if not (login_record request:user_name request:remote_ip_address (shunt request:user_is_admin "administrator" "HTTP "+(string request:user_auth_level)))
      request user_name := ""
      request user_auth_level := 0
      request rights := var Dictionary empty_dictionary  
  plugin assign_user

method request try_site site -> status
  arg_rw HttpRequest request ; arg Data:Site site ; arg Stat
  if not exists:site
    return failure
  if site:computer<>computer_fullname and site:computer<>""
    return failure
  var Str ip := request:stream query "local_ip_address"
  if ip<>"" and site:ip<>ip and site:ip<>""
    return failure
  if ((request:stream query "local_ip_port") parse (var Int 
    return failure
  if site:protocol<>"" and site:protocol<>"HTTP"
    return failure
      request user_name := ""
      request user_auth_level := 0
      request rights := var Dictionary empty_dictionary  
  plugin assign_user

method request try_site site -> status
  arg_rw HttpRequest request ; arg Data:Site site ; arg Stat
  if not exists:site
    return failure
  if site:computer<>computer_fullname and site:computer<>""
    return failure
  var Str ip := request:stream query "local_ip_address"
  if ip<>"" and site:ip<>ip and site:ip<>""
    return failure
  if ((request:stream query "local_ip_port") parse (var Int 
    return failure
  if site:protocol<>"" and site:protocol<>"HTTP"
    return failure
  if site:from_ip<>"" and not ((request:stream query "remote
  if site:from_ip<>"" and not (request:remote_ip_address is_inside_ip_domain site:from_ip)
    return failure
  var Str path := request path
  if path:len>0 and (path path:len-1)="/"
    path += "index.html"
  var Str ext := path
  ext := ext (ext search_last "/" -1)+1 ext:len
  ext := ext (ext search_last "." ext:len) ext:len
  request:log trace "site is " keyof:site
  request area_path := "/"
  request area_root := site root
  request site_default := site default
  request style_name := site style
  request forward := site forward
  var Int longuest := 0
  var Data:SiteArea area
  each a site:area
    var Str p := a path
    if (path 0 p:len)=p
      var Int l := p len
      if l>longuest
        area :> a
        longuest := l
      eif l=longuest
        area :> var Data:SiteArea nonexisting_area
  if (request allowed area:read)
    request:rights kmap "read" Bool := true
  if (request allowed area:write)
    request:rights kmap "write" Bool := true
  if area:root<>""
    p := area path
    p := p 0 (p search_last "/" p:len)+1
    request area_path := p
    request area_root := area root
  if area:style<>""
    request style_name := area style
  if area:style_options<>""
    request style_options := area:style_options+"[lf]"+reque
  if site:style_options<>""
    request style_options := site:style_options+"[lf]"+reque
  if area:forward<>""
    request forward := area forward
  status := success

method request assign_site
  arg_rw HttpRequest request
  request site_default := "/pliant/protocol/http/default.htm
  request area_path := "/"
  request area_root := "/"
  part assign
    request style_name := ""
    request style_options := ""
    var Str lsite := request:stream safe_query "local_site"
    return failure
  var Str path := request path
  if path:len>0 and (path path:len-1)="/"
    path += "index.html"
  var Str ext := path
  ext := ext (ext search_last "/" -1)+1 ext:len
  ext := ext (ext search_last "." ext:len) ext:len
  request:log trace "site is " keyof:site
  request area_path := "/"
  request area_root := site root
  request site_default := site default
  request style_name := site style
  request forward := site forward
  var Int longuest := 0
  var Data:SiteArea area
  each a site:area
    var Str p := a path
    if (path 0 p:len)=p
      var Int l := p len
      if l>longuest
        area :> a
        longuest := l
      eif l=longuest
        area :> var Data:SiteArea nonexisting_area
  if (request allowed area:read)
    request:rights kmap "read" Bool := true
  if (request allowed area:write)
    request:rights kmap "write" Bool := true
  if area:root<>""
    p := area path
    p := p 0 (p search_last "/" p:len)+1
    request area_path := p
    request area_root := area root
  if area:style<>""
    request style_name := area style
  if area:style_options<>""
    request style_options := area:style_options+"[lf]"+reque
  if site:style_options<>""
    request style_options := site:style_options+"[lf]"+reque
  if area:forward<>""
    request forward := area forward
  status := success

method request assign_site
  arg_rw HttpRequest request
  request site_default := "/pliant/protocol/http/default.htm
  request area_path := "/"
  request area_root := "/"
  part assign
    request style_name := ""
    request style_options := ""
    var Str lsite := request:stream safe_query "local_site"
    if lsite<>""
    if lsite<>"" and (request:stream safe_query "remote_user")<>""
      request site_name := lsite
    if request:site_name<>""
      var Data:Site rsite :> site request:site_name
      if (request try_site rsite)=success
        leave assign
      var Data:NameHost logical :> name_database:data:host r
      if exists:logical and logical:physical=computer_fullna
        request forward := "tcp://127.0.0.1/client/"+(string
        leave assign
      # try proxy
      request site_name := lsite
    if request:site_name<>""
      var Data:Site rsite :> site request:site_name
      if (request try_site rsite)=success
        leave assign
      var Data:NameHost logical :> name_database:data:host r
      if exists:logical and logical:physical=computer_fullna
        request forward := "tcp://127.0.0.1/client/"+(string
        leave assign
      # try proxy
      if rsite:protocol="proxy" and ((request:stream query "
      if rsite:protocol="proxy" and (request:remote_ip_address is_inside_ip_domain rsite:from_ip)
        if rsite:public_key<>""
          request forward := "zchannel://"+request:site_name
        else
          request forward := "tcp://"+request:site_name+"/cl
        leave assign
      var Str all := request site_name
      while (all eparse any "." any:(var Str domain))
        if rsite:public_key<>""
          request forward := "zchannel://"+request:site_name
        else
          request forward := "tcp://"+request:site_name+"/cl
        leave assign
      var Str all := request site_name
      while (all eparse any "." any:(var Str domain))
        if site:domain:protocol="proxy" and ((request:stream
        if site:domain:protocol="proxy" and (request:remote_ip_address is_inside_ip_domain site:domain:from_ip)
          request forward := "tcp://"+request:site_name+"/cl
          leave assign
        all := domain
    each s site
      if s:ip<>"" and (request try_site s)=success
        leave assign
    var Str site_name := request site_name
    if (exists name_database:data:host:site_name) and name_d
      request forward := "tcp://127.0.0.1/client/"+(string n
    # the name was wrong, so fallback to the default site
    if (request try_site site:computer_fullname)=success
      request site_name := computer_fullname
      leave assign
    # no site is matching, so remove all granted rights
    request rights := var Dictionary empty_dictionary
    if request:site_name=computer_fullname or request:site_n
      void
    eif http_proxy_running and (request:stream query "remote
      # secured proxy
      var Pointer:Int port :> http_proxy_ports first request
      if http_proxy_user<>"" and exists:port
        request forward := "zchannel://"+request:site_name+"
        console "+"
      else
        request forward := "tcp://"+request:site_name+"/clie
        console "-"
    else
      request:log trace "no matching site"
      request user_is_admin := false  
  plugin assign_site
  


method request http_answer line
  arg_rw HttpRequest request ; arg Str line
  request:stream writeline line
  if line:len<>0
    request:log trace "answer " line
  
method request send_header
  arg_rw HttpRequest request
  request log_mark := request:log:mark
  if request:protocol_level<1
    return
  request http_answer "HTTP/"+(string request:protocol_level
  if request:server:send_software_release_number
    request http_answer "Server: Pliant/"+string:pliant_rele
  else
    request http_answer "Server: Pliant"
  if request:answer_is_dynamic
    if request:browser_model="mozilla"
      request http_answer "Pragma: no-cache" # not supported
    else
      request http_answer "Expires: 0" # not recommended in 
  eif request:answer_datetime=defined
    request http_answer "Last-Modified: "+(rfc1123_date requ
          request forward := "tcp://"+request:site_name+"/cl
          leave assign
        all := domain
    each s site
      if s:ip<>"" and (request try_site s)=success
        leave assign
    var Str site_name := request site_name
    if (exists name_database:data:host:site_name) and name_d
      request forward := "tcp://127.0.0.1/client/"+(string n
    # the name was wrong, so fallback to the default site
    if (request try_site site:computer_fullname)=success
      request site_name := computer_fullname
      leave assign
    # no site is matching, so remove all granted rights
    request rights := var Dictionary empty_dictionary
    if request:site_name=computer_fullname or request:site_n
      void
    eif http_proxy_running and (request:stream query "remote
      # secured proxy
      var Pointer:Int port :> http_proxy_ports first request
      if http_proxy_user<>"" and exists:port
        request forward := "zchannel://"+request:site_name+"
        console "+"
      else
        request forward := "tcp://"+request:site_name+"/clie
        console "-"
    else
      request:log trace "no matching site"
      request user_is_admin := false  
  plugin assign_site
  


method request http_answer line
  arg_rw HttpRequest request ; arg Str line
  request:stream writeline line
  if line:len<>0
    request:log trace "answer " line
  
method request send_header
  arg_rw HttpRequest request
  request log_mark := request:log:mark
  if request:protocol_level<1
    return
  request http_answer "HTTP/"+(string request:protocol_level
  if request:server:send_software_release_number
    request http_answer "Server: Pliant/"+string:pliant_rele
  else
    request http_answer "Server: Pliant"
  if request:answer_is_dynamic
    if request:browser_model="mozilla"
      request http_answer "Pragma: no-cache" # not supported
    else
      request http_answer "Expires: 0" # not recommended in 
  eif request:answer_datetime=defined
    request http_answer "Last-Modified: "+(rfc1123_date requ
  if request:answer_size=defined
  if request:answer_size<>undefined
    request http_answer "Content-Length: "+(string request:a
  if request:answer_mime_type<>""
    request http_answer "Content-Type: "+request:answer_mime
  if compression and request:answer_encoding<>""
    request http_answer "Content-Encoding: "+request:answer_
  if request:answer_chunked
    request http_answer "Transfer-Encoding: chunked"
  if conservative
    request keep_alive_applied := false
    request http_answer "Content-Length: "+(string request:a
  if request:answer_mime_type<>""
    request http_answer "Content-Type: "+request:answer_mime
  if compression and request:answer_encoding<>""
    request http_answer "Content-Encoding: "+request:answer_
  if request:answer_chunked
    request http_answer "Transfer-Encoding: chunked"
  if conservative
    request keep_alive_applied := false
  else
    request keep_alive_applied := request:keep_alive_request
  eif request:keep_alive_requested and (request:answer_size<>undefined or request:answer_chunked)
    request keep_alive_applied := true
  if request:keep_alive_applied and request:protocol_level<1
    request http_answer "Connection: Keep-Alive"
  var Pointer:Arrow c :> request:answer_extra first
  while c<>null
    request http_answer (c map Str)
    c :> request:answer_extra next c
  request http_answer ""
  request answer_header_sent := true

method request send_header options
  arg_rw HttpRequest request ; arg Str options
  var Str status := options option "status" Str
  if status<>""
    request answer_status := status
  var Str mime := options option "mime" Str
  if mime<>""
    request answer_mime_type := mime
  var DateTime dt := options option "datetime" DateTime
  if dt<>undefined
    request answer_datetime := dt
  if (options option "static")
    request answer_is_dynamic := false
  var Int size := options option "size" Int
  if size<>undefined
    request answer_size := size
  else
    if chunking and request:protocol_level>=1.1 and not (opt
      request answer_chunked := true
  if request:keep_alive_applied and request:protocol_level<1
    request http_answer "Connection: Keep-Alive"
  var Pointer:Arrow c :> request:answer_extra first
  while c<>null
    request http_answer (c map Str)
    c :> request:answer_extra next c
  request http_answer ""
  request answer_header_sent := true

method request send_header options
  arg_rw HttpRequest request ; arg Str options
  var Str status := options option "status" Str
  if status<>""
    request answer_status := status
  var Str mime := options option "mime" Str
  if mime<>""
    request answer_mime_type := mime
  var DateTime dt := options option "datetime" DateTime
  if dt<>undefined
    request answer_datetime := dt
  if (options option "static")
    request answer_is_dynamic := false
  var Int size := options option "size" Int
  if size<>undefined
    request answer_size := size
  else
    if chunking and request:protocol_level>=1.1 and not (opt
      request answer_chunked := true
    eif (options option "keepalive")
      request keep_alive_applied := true
  if compression and (options option "compressed")
    request answer_encoding := request supported_encoding
  request send_header
  request answer_stream :> request stream
  if request:answer_chunked
    var Link:Stream s :> new Stream
    s open "chunked:" "" out+safe pliant_default_file_system
    request answer_stream :> s
  if compression and request:answer_encoding<>""
    var Link:Stream s :> new Stream
    s open request:answer_encoding+":" "" out+safe pliant_de
    request answer_stream :> s

method request send_footer
  arg_rw HttpRequest request
  request answer_stream :> request stream
  request answer_footer_sent := true
  request:server:hits_sem request
  request:server hits_count += 1
  if compression and (options option "compressed")
    request answer_encoding := request supported_encoding
  request send_header
  request answer_stream :> request stream
  if request:answer_chunked
    var Link:Stream s :> new Stream
    s open "chunked:" "" out+safe pliant_default_file_system
    request answer_stream :> s
  if compression and request:answer_encoding<>""
    var Link:Stream s :> new Stream
    s open request:answer_encoding+":" "" out+safe pliant_de
    request answer_stream :> s

method request send_footer
  arg_rw HttpRequest request
  request answer_stream :> request stream
  request answer_footer_sent := true
  request:server:hits_sem request
  request:server hits_count += 1
  if request:answer_size=defined
  if request:answer_size<>undefined
    request:server bytes_count += request answer_size
  request:server:hits_sem release


method request send_static_file filename options -> status
  arg_rw HttpRequest request ; arg Str filename options ; ar
  var FileInfo info := file_query filename standard
  if info=undefined or info:is_directory
    return failure
    request:server bytes_count += request answer_size
  request:server:hits_sem release


method request send_static_file filename options -> status
  arg_rw HttpRequest request ; arg Str filename options ; ar
  var FileInfo info := file_query filename standard
  if info=undefined or info:is_directory
    return failure
  var Str mime := options option "mime" Str
  if mime=""
    var Str ext := filename (filename search_last "." filename:len) filename:len
    mime := query_mime_type ext
  if not (request modified_since info:datetime)
  if not (request modified_since info:datetime)
    request send_header "status [dq]304 Not modified[dq] sta
    request:answer_extra append addressof:(new Str "Date: "+rfc1123_date:datetime)
    request send_header "status [dq]304 Not modified[dq] mime "+string:mime+" datetime "+(string info:datetime)+" static nochunked keepalive" # +" size "+(string info:size)+" static"
    request send_footer
    return success
    request send_footer
    return success
  var Stream data ; data open filename in+safe
  var CBool range := true ; var Intn from := undefined ; var Intn to := undefined
  var Pointer:Arrow c :> request:query_log first
  while c<>null
    var Pointer:Str s :> c map Str
    if (s parse word:"Range" ":" word:"bytes" "=" any:(var Str sfrom) "-" any:(var Str sto))
      sfrom parse from
      sto parse to
    eif (s parse word:"If-Range" ":" any:(var Str sdt))
      if (rfc1123_date info:datetime)<>sdt
        range := false
      request:answer_extra append addressof:(new Str "Date: "+rfc1123_date:datetime)
    c :> request:query_log next c
  if from=undefined and to=undefined
    range := false
  if not range or from=undefined
    from := 0
  if not range or to=undefined
    to := info:size-1
  var Stream data ; data open filename in+safe+(shunt from<>0 seek 0)
  if data=failure
    return failure
  if data=failure
    return failure
  var Str mime := options option "mime" Str
  if mime=""
    var Str ext := filename (filename search_last "." filena
    mime := query_mime_type ext
  request send_header "mime "+string:mime+" datetime "+(stri
  if from<>0
    if (data safe_configure "seek "+string:from)=failure
      range := false ; from := 0 ; to := info:size-1
  if range
    request:answer_extra append addressof:(new Str "Content-Range: bytes "+string:from+"-"+string:to+"/"+(string info:size))
    # request keep_alive_requested := false
  request send_header (shunt range "status [dq]206 Partial Content[dq] " "")+" mime "+string:mime+" datetime "+(string info:datetime)+" size "+(string to-from+1)+" static"
  part send "send static file content"
  part send "send static file content"
    var Int remain := info size
    while remain>0 and { var Int step := raw_copy data reque
    var Intn remain := to-from+1
    while remain>0 and { var Int step := raw_copy data request:answer_stream 1 (cast (shunt remain<4*2^20 remain 4*2^20) Int) ; step>0 }
      remain -= step
      remain -= step
    request:stream flush anytime
    request:answer_stream flush anytime
  data close
  if remain<>0
    request keep_alive_applied := false
  request send_footer
  status := success
  


method page escape_html_page -> escape
  arg_rw HtmlPage page ; arg CBool escape
  escape := false
  var Pointer:HttpRequest request :> page http_request
  data close
  if remain<>0
    request keep_alive_applied := false
  request send_footer
  status := success
  


method page escape_html_page -> escape
  arg_rw HtmlPage page ; arg CBool escape
  escape := false
  var Pointer:HttpRequest request :> page http_request
  if database
    data_login request:user_name
    var Pointer:Str form :> request form
    var Int offset := 0
    while offset<form:len
      var Int stop := ((form offset form:len) search "&" for
      if((form offset stop-offset) parse any:(var Str name) 
        if (http_decode:name parse "data/" any:(var Str sign
          path := "/"+(replace (replace (replace path "+" " 
          value := replace http_decode:(replace value "+" " 
          if (request check_signature path sign)=success
            var Data_ data := data_root search_path path fal
            data:base:sem request
            var Status status := data:interface set data add
            data:base:sem release
            page:http_request:log trace "database set " path
          else
            page:http_request:log trace "rejected database s
            # FIXME (page:env kmap "default data rejected" L
      offset := stop+1
  if request:form<>""
  if request:command="POST" and request:context<>""
    if database
      # data_login request:user_name
      var Pointer:Str form :> request form
      var Int offset := 0
      while offset<form:len
        var Int stop := ((form offset form:len) search "&" form:len-offset)+offset
        if((form offset stop-offset) parse any:(var Str name) "=" any:(var Str value))
          if (http_decode:name parse "data/" any:(var Str sign) "/" any:(var Str path) )
            path := "/"+(replace (replace (replace path "+" " ") "(" "&#") ")" ";")
            value := replace http_decode:(replace value "+" " ") "[cr][lf]" "[lf]"
            if (request check_signature path sign)=success
              var Data_ data := data_root search_path path false
              data:base:sem request
              var Status status := data:interface set data addressof:value Str
              data:base:sem release
              page:http_request:log trace "database set " path " = " value " " (shunt status=success "" " FAILED")
            else
              page:http_request:log trace "rejected database set " path
              # FIXME (page:env kmap "default data rejected" List) append addressof:(new Str path)
        offset := stop+1
    if request:temp_files:first=null and (not (exists reques
      page reset_http_answer
      request send_redirect_answer request:encoded_path+"?"+
      return true


    if request:temp_files:first=null and (not (exists reques
      page reset_http_answer
      request send_redirect_answer request:encoded_path+"?"+
      return true


method page execute_dynamic_page path -> status
  arg_rw HtmlPage page ; arg Str path ; arg ExtendedStatus s
method request send_dynamic_file filename virtualpath -> status
  arg_rw HttpRequest request ; arg Str filename virtualpath ; arg Status status
  later

method request send_misc_answer name
  arg_rw HttpRequest request ; arg Str name
  later

method request send_misc_answer name
  arg_rw HttpRequest request ; arg Str name
  request send_header "mime [dq]text/html[dq]"
  (var HtmlPage page) bind request
  page execute_dynamic_page common_path+"misc/"+name+".html"
  page unbind
  request send_footer
  var Str path := common_path+"misc/"+name+".html"
  var Str filename := request site_default
  filename := (filename 0 (filename search_last "." filename:len))+".page"
  if (request send_dynamic_file filename path)=failure
    request send_simple_page name "" "Could not find '"+path+"' on the server." "" "404 Not Found"



method request send_dynamic_file filename virtualpath -> sta
  arg_rw HttpRequest request ; arg Str filename virtualpath 
  var Link:DynamicPage sp :> request:server find_dynamic_pag
  if not exists:sp
    var Str err := request:server compile_dynamic_page filen
    if err<>""
      request send_simple_page "Bug in page "+request:path "
      return success
    sp :> request:server find_dynamic_page filename
  if not exists:sp
    return failure
  var Link:DynamicPage dp ; var Str context
  if ("&"+request:form+"&"+request:encoded_options+"=" epars
    button := http_decode button
    context := request uncipher http_decode:scontext false
    signature := http_decode signature
    if (request check_signature button+" "+context signature
      void
    eif { context := request uncipher http_decode:scontext t
      void
    else
      request form := "" ; request encoded_options := ""
      request send_misc_answer "signature"
      return success # wrong signature
    dp :> request:server find_dynamic_page http_decode:butto
    if not exists:dp and (button parse any:(var Str modulena
      pliant_compiler_semaphore request
      pliant_load_module modulename+".pli" the_module:"/plia
      pliant_compiler_semaphore release
      dp :> request:server find_dynamic_page http_decode:but
    if not exists:dp and (button parse any:(var Str modulena
      request:server compile_dynamic_page modulename+".page"
      dp :> request:server find_dynamic_page http_decode:but
    if not exists:dp
      request form := "" ; request encoded_options := ""
      request send_misc_answer "obsolete"
      return success # there is no such button
  else
    dp :> sp
    context := ""
  request send_header "mime [dq]text/html; charset=iso-8859-
  (var HtmlPage page) bind request
  page file_name := dp filename
  page virtual_path := virtualpath
  check dp:function:nb_args=1
  if (dp:function arg 0):type=HtmlPage
    if not page:escape_html_page
      part execute "execute dynamic page "+filename
        page execute_style_setup sp:function
        page begin_end_hook_prototype page:begin_hook
        http_execute_dynamic_page page dp:function
        page begin_end_hook_prototype page:end_hook
    status := shunt request:answer_header_sent success failu
  eif { var Pointer:Type t :> unpointerto (dp:function arg 0
    var Str pc := "" ## section "copy context"
    var Address buf ; buf := memory_allocate t:size null
    t build_instance buf
    for (var Int i) 0 t:nb_fields-1
      var Pointer:TypeField tf :> t field i
      if tf:name="page"
        (buf translate Byte tf:offset) map Address := addres
      eif (tf:properties first "pliant editable")<>null and 
        value := replace (replace value "+" " ") "%0D%0A" "%
        pc += "&"+tf:name+"="+value
        from_string (buf translate Byte tf:offset) tf:type h
      eif ("&"+context+"&" eparse any (pattern "&"+tf:name+"
        pc += "&"+tf:name+"="+value
        if database and tf:type:is_data
          (buf translate Byte tf:offset) map Data_ := data_r
        else
          from_string (buf translate Byte tf:offset) tf:type
    var Str id := button
    request context_type :> t
    var Int pos_x := 0 ; var Int pos_y := 0
    var Str all := "&"+request:form+"&"
    while (all parse any "&_" any:(var Str variable) "=" any
      if variable="pliant_x"
        value parse pos_x
      eif variable="pliant_y"
        value parse pos_y
      else
        pc += "&_"+variable+"="+value
      all := "&"+remain
    request context := "button*"+string:pos_x+"*"+string:pos
    if not page:escape_html_page
      request:log trace "execute "+dp:position
      part execute "execute dynamic page "+dp:position
        page execute_style_setup sp:function
        page begin_end_hook_prototype page:begin_hook
        http_execute_dynamic_sub_page buf dp:function
        page begin_end_hook_prototype page:end_hook
    t destroy_instance buf
    memory_free buf
    status := shunt request:answer_header_sent success failu
  else
    status := failure
  page unbind
method request send_dynamic_file filename virtualpath -> sta
  arg_rw HttpRequest request ; arg Str filename virtualpath 
  var Link:DynamicPage sp :> request:server find_dynamic_pag
  if not exists:sp
    var Str err := request:server compile_dynamic_page filen
    if err<>""
      request send_simple_page "Bug in page "+request:path "
      return success
    sp :> request:server find_dynamic_page filename
  if not exists:sp
    return failure
  var Link:DynamicPage dp ; var Str context
  if ("&"+request:form+"&"+request:encoded_options+"=" epars
    button := http_decode button
    context := request uncipher http_decode:scontext false
    signature := http_decode signature
    if (request check_signature button+" "+context signature
      void
    eif { context := request uncipher http_decode:scontext t
      void
    else
      request form := "" ; request encoded_options := ""
      request send_misc_answer "signature"
      return success # wrong signature
    dp :> request:server find_dynamic_page http_decode:butto
    if not exists:dp and (button parse any:(var Str modulena
      pliant_compiler_semaphore request
      pliant_load_module modulename+".pli" the_module:"/plia
      pliant_compiler_semaphore release
      dp :> request:server find_dynamic_page http_decode:but
    if not exists:dp and (button parse any:(var Str modulena
      request:server compile_dynamic_page modulename+".page"
      dp :> request:server find_dynamic_page http_decode:but
    if not exists:dp
      request form := "" ; request encoded_options := ""
      request send_misc_answer "obsolete"
      return success # there is no such button
  else
    dp :> sp
    context := ""
  request send_header "mime [dq]text/html; charset=iso-8859-
  (var HtmlPage page) bind request
  page file_name := dp filename
  page virtual_path := virtualpath
  check dp:function:nb_args=1
  if (dp:function arg 0):type=HtmlPage
    if not page:escape_html_page
      part execute "execute dynamic page "+filename
        page execute_style_setup sp:function
        page begin_end_hook_prototype page:begin_hook
        http_execute_dynamic_page page dp:function
        page begin_end_hook_prototype page:end_hook
    status := shunt request:answer_header_sent success failu
  eif { var Pointer:Type t :> unpointerto (dp:function arg 0
    var Str pc := "" ## section "copy context"
    var Address buf ; buf := memory_allocate t:size null
    t build_instance buf
    for (var Int i) 0 t:nb_fields-1
      var Pointer:TypeField tf :> t field i
      if tf:name="page"
        (buf translate Byte tf:offset) map Address := addres
      eif (tf:properties first "pliant editable")<>null and 
        value := replace (replace value "+" " ") "%0D%0A" "%
        pc += "&"+tf:name+"="+value
        from_string (buf translate Byte tf:offset) tf:type h
      eif ("&"+context+"&" eparse any (pattern "&"+tf:name+"
        pc += "&"+tf:name+"="+value
        if database and tf:type:is_data
          (buf translate Byte tf:offset) map Data_ := data_r
        else
          from_string (buf translate Byte tf:offset) tf:type
    var Str id := button
    request context_type :> t
    var Int pos_x := 0 ; var Int pos_y := 0
    var Str all := "&"+request:form+"&"
    while (all parse any "&_" any:(var Str variable) "=" any
      if variable="pliant_x"
        value parse pos_x
      eif variable="pliant_y"
        value parse pos_y
      else
        pc += "&_"+variable+"="+value
      all := "&"+remain
    request context := "button*"+string:pos_x+"*"+string:pos
    if not page:escape_html_page
      request:log trace "execute "+dp:position
      part execute "execute dynamic page "+dp:position
        page execute_style_setup sp:function
        page begin_end_hook_prototype page:begin_hook
        http_execute_dynamic_sub_page buf dp:function
        page begin_end_hook_prototype page:end_hook
    t destroy_instance buf
    memory_free buf
    status := shunt request:answer_header_sent success failu
  else
    status := failure
  page unbind
  if status=success
  if status=success and not request:answer_footer_sent
    request send_footer



method request browser_walkaround
  arg_rw HttpRequest request
  plugin browser_walkaround
  
method request forward target extra
  arg_rw HttpRequest request ; arg Str target extra
  plugin forward_begin
  var Link:Stream s :> request stream
  s stream_flags := s:stream_flags .or. noautopost
  var Link:Stream d :> new Stream
  d open target in+out+cr+lf+safe+noautopost
  if d=failure
    return
  d writeline request:query_first_line
  var Pointer:Arrow c :> request:query_log first
  while c<>null
    d writeline (c map Str)
    c :> request:query_log next c
  if extra:len>0
    d writeline extra
  d writeline ""
    request send_footer



method request browser_walkaround
  arg_rw HttpRequest request
  plugin browser_walkaround
  
method request forward target extra
  arg_rw HttpRequest request ; arg Str target extra
  plugin forward_begin
  var Link:Stream s :> request stream
  s stream_flags := s:stream_flags .or. noautopost
  var Link:Stream d :> new Stream
  d open target in+out+cr+lf+safe+noautopost
  if d=failure
    return
  d writeline request:query_first_line
  var Pointer:Arrow c :> request:query_log first
  while c<>null
    d writeline (c map Str)
    c :> request:query_log next c
  if extra:len>0
    d writeline extra
  d writeline ""
  d writechars request:form
  d flush anytime
  var Sem sem ; sem request
  thread
    while { d read_available (var Address adr2) (var Int siz
      s raw_write adr2 size2
      s flush anytime
    s safe_configure "shutdown"
    share:sem release
  while { s read_available (var Address adr1) (var Int size1
    d raw_write adr1 size1
    d flush anytime
  d safe_configure "shutdown"
  sem request ; sem release
  plugin forward_end
     


method request parse_then_answer
  arg_rw HttpRequest request
  implicit request
    user_name := ""
    user_auth_level := 0
    user_shaker := ""
    user_is_admin := false
    site_name := ""
    form := ""
    context := ""
    context_type :> null map Type
    keep_alive_applied := false
    query_log := var List empty_list
    answer_header_sent := false
    answer_footer_sent := false
    answer_extra := var List empty_list
    answer_status := ""
    answer_mime_type := ""
    answer_datetime := undefined
    answer_is_dynamic := true
    answer_size := undefined
    answer_encoding := ""
    answer_chunked := false
    answer_stream :> request stream
    log_mark := request:log mark
  var Pointer:Stream http :> request stream
  part parse "parse HTTP request"
    var Str cmd := http readline ## section "parse_then_answ
    request query_first_line := cmd
    request:log trace "query " cmd
    var Str command protocol
    if (cmd eparse any:command _ (any request:encoded_path) 
      if (request:encoded_path eparse "http://" any "/" any:
        request encoded_path := "/"+remain
      if not (protocol parse word:"HTTP" "/" request:protoco
        request send_empty_answer "400 Bad Request"
        return
      request protocol_level := min request:protocol_level r
    eif (cmd eparse any:command "_" (any request:encoded_pat
      request protocol_level := 0.9
    else
      request send_empty_answer "400 Bad Request"
      return
    request keep_alive_requested := request:protocol_level>=
    if (request:encoded_path parse any:(var Str base) "?" (a
      request encoded_path := base
    else
      request encoded_options := ""
    request command := command
    request path := http_decode request:encoded_path
    request options := http_decode request:encoded_options
    var Int length := undefined
    var CBool chunked := false
    var CBool multipart := false
    var CBool continue := false
    var Int header_length := 0
    var Str tag value
    if request:protocol_level>=1
      while { var Str param := http readline ; param<>"" }
        header_length += param:len+16
        if header_length<request:server:maximal_header_lengt
          request:query_log append addressof:(new Str param)
          request:log trace "option " param
        if (param parse any:tag ":" any:value)
          tag := lower tag
          if tag="host"
            request site_name := value 0 (value search ":" v
          eif tag="content-length"
            if not (value parse length)
              request send_empty_answer "400 Bad Request" ; 
          eif tag="transfer-encoding" and (value parse acwor
            chunked := true
          eif tag="content-type"
            if (value parse acword:"multipart" any acword:"b
              multipart := true ; boundary := "[cr][lf]--"+b
          eif tag="expect"
            if (value parse acword:"100-continue" any)
              continue := true
          eif tag="connection"
            if (value parse any acword:"keep-alive" any)
              if request:server:keep_alive_connections
                request keep_alive_requested := true
            eif (value parse any acword:"close" any)
              request keep_alive_requested := false
          eif tag="user-agent"
            request browser := value
            find_browser_identity request:browser request:br
          eif tag="accept-language"
            request lang := value
          eif compression and tag="accept-encoding"
            request supported_encoding := shunt (value parse
          eif tag="authorization"
            if (value parse acword:"basic" any:(var Str enco
              var Str auth := base64_decode encoded
              if (auth parse any "\" any:(var Str user) ":" 
                var Data:UserSecret u :> user_secret_databas
                if u:password_md5=string_md5_hexa_signature:
                  request user_name := user
                  request user_auth_level := 1
                  request user_shaker := u shaker
                else
                  sleep 1
            eif false # (value parse acword:"digest" any)
              var Str user := value option "username=" Str
              console "user is: " user eol
              var Str password := "b"
              var Str realm := value option "realm=" Str
              console "realm is: " realm eol
              var Str nonce := value option "nonce=" Str
              console "nonce is: " nonce eol
              var Str uri := value option "uri=" Str
              var Str A1 := user+":"+realm+":"+password
              var Str A2 := "GET:"+uri
              var Str answer := digest digest:A1+":"+nonce+"
              console "signature for "+user+" is: " answer e
              var Str response := value option "response=" S
              if response=answer
                console "YES !" eol
  request browser_walkaround
  d flush anytime
  var Sem sem ; sem request
  thread
    while { d read_available (var Address adr2) (var Int siz
      s raw_write adr2 size2
      s flush anytime
    s safe_configure "shutdown"
    share:sem release
  while { s read_available (var Address adr1) (var Int size1
    d raw_write adr1 size1
    d flush anytime
  d safe_configure "shutdown"
  sem request ; sem release
  plugin forward_end
     


method request parse_then_answer
  arg_rw HttpRequest request
  implicit request
    user_name := ""
    user_auth_level := 0
    user_shaker := ""
    user_is_admin := false
    site_name := ""
    form := ""
    context := ""
    context_type :> null map Type
    keep_alive_applied := false
    query_log := var List empty_list
    answer_header_sent := false
    answer_footer_sent := false
    answer_extra := var List empty_list
    answer_status := ""
    answer_mime_type := ""
    answer_datetime := undefined
    answer_is_dynamic := true
    answer_size := undefined
    answer_encoding := ""
    answer_chunked := false
    answer_stream :> request stream
    log_mark := request:log mark
  var Pointer:Stream http :> request stream
  part parse "parse HTTP request"
    var Str cmd := http readline ## section "parse_then_answ
    request query_first_line := cmd
    request:log trace "query " cmd
    var Str command protocol
    if (cmd eparse any:command _ (any request:encoded_path) 
      if (request:encoded_path eparse "http://" any "/" any:
        request encoded_path := "/"+remain
      if not (protocol parse word:"HTTP" "/" request:protoco
        request send_empty_answer "400 Bad Request"
        return
      request protocol_level := min request:protocol_level r
    eif (cmd eparse any:command "_" (any request:encoded_pat
      request protocol_level := 0.9
    else
      request send_empty_answer "400 Bad Request"
      return
    request keep_alive_requested := request:protocol_level>=
    if (request:encoded_path parse any:(var Str base) "?" (a
      request encoded_path := base
    else
      request encoded_options := ""
    request command := command
    request path := http_decode request:encoded_path
    request options := http_decode request:encoded_options
    var Int length := undefined
    var CBool chunked := false
    var CBool multipart := false
    var CBool continue := false
    var Int header_length := 0
    var Str tag value
    if request:protocol_level>=1
      while { var Str param := http readline ; param<>"" }
        header_length += param:len+16
        if header_length<request:server:maximal_header_lengt
          request:query_log append addressof:(new Str param)
          request:log trace "option " param
        if (param parse any:tag ":" any:value)
          tag := lower tag
          if tag="host"
            request site_name := value 0 (value search ":" v
          eif tag="content-length"
            if not (value parse length)
              request send_empty_answer "400 Bad Request" ; 
          eif tag="transfer-encoding" and (value parse acwor
            chunked := true
          eif tag="content-type"
            if (value parse acword:"multipart" any acword:"b
              multipart := true ; boundary := "[cr][lf]--"+b
          eif tag="expect"
            if (value parse acword:"100-continue" any)
              continue := true
          eif tag="connection"
            if (value parse any acword:"keep-alive" any)
              if request:server:keep_alive_connections
                request keep_alive_requested := true
            eif (value parse any acword:"close" any)
              request keep_alive_requested := false
          eif tag="user-agent"
            request browser := value
            find_browser_identity request:browser request:br
          eif tag="accept-language"
            request lang := value
          eif compression and tag="accept-encoding"
            request supported_encoding := shunt (value parse
          eif tag="authorization"
            if (value parse acword:"basic" any:(var Str enco
              var Str auth := base64_decode encoded
              if (auth parse any "\" any:(var Str user) ":" 
                var Data:UserSecret u :> user_secret_databas
                if u:password_md5=string_md5_hexa_signature:
                  request user_name := user
                  request user_auth_level := 1
                  request user_shaker := u shaker
                else
                  sleep 1
            eif false # (value parse acword:"digest" any)
              var Str user := value option "username=" Str
              console "user is: " user eol
              var Str password := "b"
              var Str realm := value option "realm=" Str
              console "realm is: " realm eol
              var Str nonce := value option "nonce=" Str
              console "nonce is: " nonce eol
              var Str uri := value option "uri=" Str
              var Str A1 := user+":"+realm+":"+password
              var Str A2 := "GET:"+uri
              var Str answer := digest digest:A1+":"+nonce+"
              console "signature for "+user+" is: " answer e
              var Str response := value option "response=" S
              if response=answer
                console "YES !" eol
  request browser_walkaround
  request adjust_remote_ip_address
  request assign_user ## section "parse_then_answer user" ; 
  request assign_site ## how "" section "method assign_site"
  if request:forward<>""
    request forward request:forward "Origin-IP: "+(request:s
    return
  if continue
    request send_empty_answer "100 Continue"
  request:query_stream :> new Stream
  if length<>undefined
    request:query_stream open "count:" "size "+string:length
  eif chunked
    request:query_stream open "chunked:" "" in+safe pliant_d
  else
    request:query_stream open "count:" "size 0" in+safe plia
  request assign_user ## section "parse_then_answer user" ; 
  request assign_site ## how "" section "method assign_site"
  if request:forward<>""
    request forward request:forward "Origin-IP: "+(request:s
    return
  if continue
    request send_empty_answer "100 Continue"
  request:query_stream :> new Stream
  if length<>undefined
    request:query_stream open "count:" "size "+string:length
  eif chunked
    request:query_stream open "chunked:" "" in+safe pliant_d
  else
    request:query_stream open "count:" "size 0" in+safe plia
  if database
    data_login request:user_name
  plugin answer_begin
  part answer "site '"+request:site_name+"' user '"+request:
    if not (request allowed "read")
      if request:user_name=""
        request send_authentification_request
      else
        request send_misc_answer "not_allowed"
        request:log trace "requested a not allowed page " re
      leave answer
    if request:style_name<>""
      compile_style request:style_name
    if command="GET"
      if query_mime_type:(request:path (request:path search_
        if (request send_static_file (request what_file requ
          leave answer
      if (request send_dynamic_answer request:path)=success
        leave answer
      if (request:path request:path:len-1)<>"/"
        var FileInfo info := file_query (request what_file r
        if info=defined and info:is_directory and request:pr
          request send_redirect_answer "http://"+(shunt requ
          leave answer
      var Str filename := request site_default
      filename := (filename 0 (filename search_last "." file
      if (request send_dynamic_file filename request:path)=f
        request:log trace "requested an unknown page " reque
        request send_simple_page "Not found" "" "The request
    eif command="POST" ## section "parse_then_answer POST"
      if not multipart
        part read_form "read HTTP form"
          var Address buffer := null ; var Int done := 0
          while not request:query_stream:atend and done<requ
            request:query_stream read_available (var Address
            buffer := memory_resize buffer done+size null
            memory_copy adr (buffer translate Byte done) siz
            done += size
          request:form set buffer done true
      else
        part parse_multipart_form "parse HTTP multipart form
          request form := ""
          var Int avail := request:server:maximal_form_lengt
          var Int avail2 := request:server:maximal_file_leng
          part multi
            while not request:query_stream:atend
              var Str value
              var Str label := "" ; var Str filename := ""
              while { var Str line := request:query_stream r
                if not (line parse any word:"name" "=" "[dq]
                  line parse any word:"name" "=" "[dq]" any:
                  line parse any word:"filename" "=" "[dq]" 
              if (label parse word:"file" _ word:"upload" _ 
                label := label2
                var Str temp := file_temporary
                var Str name := replace filename "\" "/"
                name := name (name search_last "/" -1)+1 nam
                value := string:temp+" remote_path "+string:
                request:temp_files append addressof:(new Str
                (var Stream data) open value out+safe
                var Str cache := "[cr][lf]" ; var Int drop :
                while cache:len<boundary:len and not request
                  if cache:len=0
                    var Address a := memory_search request:q
                    if a=null
                      a := request:query_stream stream_read_
                    var Int step := (cast a Int).-.(cast req
                    data raw_write request:query_stream:stre
                    request:query_stream stream_read_cur := 
                  request:query_stream raw_read addressof:(v
                  while cache<>(boundary 0 cache:len)
                    if drop=0
                      data raw_write cache:characters 1 ; av
                    else
                      drop -= 1
                    cache := cache 1 cache:len
                  if avail2<0
                    request send_empty_answer "413 Request E
                data close
                request:log trace "file upload " value " -> 
              else
                value := ""
                var Str cache := ""
                while not request:query_stream:atend and cac
                  if cache:len=0
                    var Address a := memory_search request:q
                    if a=null
                      a := request:query_stream stream_read_
                    var Int step := (cast a Int).-.(cast req
                    (var Str temp) set request:query_stream:
                    value += temp ; avail -= step
                    request:query_stream stream_read_cur := 
                  request:query_stream raw_read addressof:(v
                  while cache<>(boundary 0 cache:len)
                    (var Str temp) set cache:characters 1 fa
                    value += temp ; avail -= 1
                    cache := cache 1 cache:len
                  if avail<0
                    request send_empty_answer "413 Request E
              request form += "&"+http_encode:label+"="+http
              request:query_stream raw_read addressof:(var C
              request:query_stream readline
              if ch="-"
                leave multi
      request:log trace "form " request:form
      request send_dynamic_answer request:path
    else
      var Str virtualpage := reverse request:path
      var Str virtualpath := ""
  plugin answer_begin
  part answer "site '"+request:site_name+"' user '"+request:
    if not (request allowed "read")
      if request:user_name=""
        request send_authentification_request
      else
        request send_misc_answer "not_allowed"
        request:log trace "requested a not allowed page " re
      leave answer
    if request:style_name<>""
      compile_style request:style_name
    if command="GET"
      if query_mime_type:(request:path (request:path search_
        if (request send_static_file (request what_file requ
          leave answer
      if (request send_dynamic_answer request:path)=success
        leave answer
      if (request:path request:path:len-1)<>"/"
        var FileInfo info := file_query (request what_file r
        if info=defined and info:is_directory and request:pr
          request send_redirect_answer "http://"+(shunt requ
          leave answer
      var Str filename := request site_default
      filename := (filename 0 (filename search_last "." file
      if (request send_dynamic_file filename request:path)=f
        request:log trace "requested an unknown page " reque
        request send_simple_page "Not found" "" "The request
    eif command="POST" ## section "parse_then_answer POST"
      if not multipart
        part read_form "read HTTP form"
          var Address buffer := null ; var Int done := 0
          while not request:query_stream:atend and done<requ
            request:query_stream read_available (var Address
            buffer := memory_resize buffer done+size null
            memory_copy adr (buffer translate Byte done) siz
            done += size
          request:form set buffer done true
      else
        part parse_multipart_form "parse HTTP multipart form
          request form := ""
          var Int avail := request:server:maximal_form_lengt
          var Int avail2 := request:server:maximal_file_leng
          part multi
            while not request:query_stream:atend
              var Str value
              var Str label := "" ; var Str filename := ""
              while { var Str line := request:query_stream r
                if not (line parse any word:"name" "=" "[dq]
                  line parse any word:"name" "=" "[dq]" any:
                  line parse any word:"filename" "=" "[dq]" 
              if (label parse word:"file" _ word:"upload" _ 
                label := label2
                var Str temp := file_temporary
                var Str name := replace filename "\" "/"
                name := name (name search_last "/" -1)+1 nam
                value := string:temp+" remote_path "+string:
                request:temp_files append addressof:(new Str
                (var Stream data) open value out+safe
                var Str cache := "[cr][lf]" ; var Int drop :
                while cache:len<boundary:len and not request
                  if cache:len=0
                    var Address a := memory_search request:q
                    if a=null
                      a := request:query_stream stream_read_
                    var Int step := (cast a Int).-.(cast req
                    data raw_write request:query_stream:stre
                    request:query_stream stream_read_cur := 
                  request:query_stream raw_read addressof:(v
                  while cache<>(boundary 0 cache:len)
                    if drop=0
                      data raw_write cache:characters 1 ; av
                    else
                      drop -= 1
                    cache := cache 1 cache:len
                  if avail2<0
                    request send_empty_answer "413 Request E
                data close
                request:log trace "file upload " value " -> 
              else
                value := ""
                var Str cache := ""
                while not request:query_stream:atend and cac
                  if cache:len=0
                    var Address a := memory_search request:q
                    if a=null
                      a := request:query_stream stream_read_
                    var Int step := (cast a Int).-.(cast req
                    (var Str temp) set request:query_stream:
                    value += temp ; avail -= step
                    request:query_stream stream_read_cur := 
                  request:query_stream raw_read addressof:(v
                  while cache<>(boundary 0 cache:len)
                    (var Str temp) set cache:characters 1 fa
                    value += temp ; avail -= 1
                    cache := cache 1 cache:len
                  if avail<0
                    request send_empty_answer "413 Request E
              request form += "&"+http_encode:label+"="+http
              request:query_stream raw_read addressof:(var C
              request:query_stream readline
              if ch="-"
                leave multi
      request:log trace "form " request:form
      request send_dynamic_answer request:path
    else
      var Str virtualpage := reverse request:path
      var Str virtualpath := ""
      while (virtualpage parse any:(var Str extra) "/" any:(
      while (virtualpage eparse any:(var Str extra) "/" any:(var Str base))
        virtualpath := "/"+reverse:extra+virtualpath
        var Str virtualfile := request what_file reverse:bas
        if (request send_dynamic_file virtualfile virtualpat
          leave answer
        virtualpage := base
      request send_empty_answer "501 Not Implemented"
        virtualpath := "/"+reverse:extra+virtualpath
        var Str virtualfile := request what_file reverse:bas
        if (request send_dynamic_file virtualfile virtualpat
          leave answer
        virtualpage := base
      request send_empty_answer "501 Not Implemented"
  if database
    data_logout
  plugin answer_end



method server service http
  arg_rw HttpServer server ; arg_rw Stream http
  http line_limit := server maximal_header_length
  var HttpRequest request
  request server :> server
  plugin answer_end



method server service http
  arg_rw HttpServer server ; arg_rw Stream http
  http line_limit := server maximal_header_length
  var HttpRequest request
  request server :> server
  request remote_ip_address := http query "remote_ip_address"
  tcp_resource query (var Int current) (var Int maxi)
  request keep_alive_timeout := max server:keep_alive_maxi_t
  request:log bind http_trace
  var Str id := generate_id
  tcp_resource query (var Int current) (var Int maxi)
  request keep_alive_timeout := max server:keep_alive_maxi_t
  request:log bind http_trace
  var Str id := generate_id
  request:log trace "connection "+id+" start at " datetime "
  request:log trace "connection "+id+" start at " datetime " from " request:remote_ip_address
  request stream :> http
  var CBool first := true
  part one_request
    if http=failure
      leave one_request
    var CBool ae
    part wait "wait for "+(shunt first "first" "next")+" HTT
      if first
        ae := http atend
      else
        http safe_configure "timeout "+(string request:keep_
        ae := http atend
        http safe_configure "timeout ?"
    if ae
      leave one_request
    if not first
  request stream :> http
  var CBool first := true
  part one_request
    if http=failure
      leave one_request
    var CBool ae
    part wait "wait for "+(shunt first "first" "next")+" HTT
      if first
        ae := http atend
      else
        http safe_configure "timeout "+(string request:keep_
        ae := http atend
        http safe_configure "timeout ?"
    if ae
      leave one_request
    if not first
      request:log trace "connection "+id+" restart at " date
      request:log trace "connection "+id+" restart at " datetime " from " request:remote_ip_address
    request parse_then_answer
    request:log flush
    if request:keep_alive_applied
      http flush async
      http safe_configure "timeout "+(string request:keep_al
      while not request:query_stream:atend
        request:query_stream read_available (var Address adr
      first := false
      restart one_request
  request temporary_cleanup
    request parse_then_answer
    request:log flush
    if request:keep_alive_applied
      http flush async
      http safe_configure "timeout "+(string request:keep_al
      while not request:query_stream:atend
        request:query_stream read_available (var Address adr
      first := false
      restart one_request
  request temporary_cleanup
  request:log trace "connection "+id+" stop at " datetime " 
  request:log trace "connection "+id+" stop at " datetime " from " request:remote_ip_address



export '. temporary_cleanup'
export '. send_static_file' '. execute_dynamic_page' '. do_c
export '. find_dynamic_page'
export '. forward'



export '. temporary_cleanup'
export '. send_static_file' '. execute_dynamic_page' '. do_c
export '. find_dynamic_page'
export '. forward'