Patch title: Release 93 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



abstract
  [Pliant HTTP server implementation, according to RFC2616] 
  [This implementation also contains a very powerfull mecani



constant report_load_statistics os_api="linux"
if report_load_statistics
  module "/pliant/linux/kernel/statistics.pli"

(gvar TraceSlot http_trace) configure "HTTP server"


public
type DynamicPage
(gvar TraceSlot http_trace) configure "HTTP server"


public
type DynamicPage
  field Str filename position
  field Str id
  field Str position
  field Str filename
  field DateTime datetime
  field DateTime checkedat
  field CBool changed
  field Link:Function function
  field Link:Type type
private
# dynamic pages issues
gvar Dictionary dynamic_pages
gvar Sem dynamic_pages_sem



  field DateTime datetime
  field DateTime checkedat
  field CBool changed
  field Link:Function function
  field Link:Type type
private
# dynamic pages issues
gvar Dictionary dynamic_pages
gvar Sem dynamic_pages_sem



gvar Str http_current_filename
gvar DateTime http_current_datetime

function http_record_dynamic_page filename position function
  arg Str filename position ; arg Function function ; arg Ty
function http_record_dynamic_page id function type
  arg Str id ; arg Function function ; arg Type type
  var Link:DynamicPage dp :> new DynamicPage
  var Link:DynamicPage dp :> new DynamicPage
  dp filename := http_current_filename
  dp position := position
  dp datetime := http_current_datetime
  dp id := id
  dp position := function position
  dp filename := function:position:module_name
  if (dp:filename parse any:(var Str realone) "(internals)")
    dp filename := realone
  dp datetime := (file_query dp:filename standard) datetime
  dp checkedat := datetime
  dp changed := false
  dp function :> function
  dp type :> type
  dynamic_pages_sem request
  dp checkedat := datetime
  dp changed := false
  dp function :> function
  dp type :> type
  dynamic_pages_sem request
  if (dynamic_pages first filename)=null
    dynamic_pages insert filename true addressof:dp
  if (dynamic_pages first id)=null
    dynamic_pages insert id true addressof:dp
  else
  else
    dynamic_pages first filename := addressof dp
    dynamic_pages first id := addressof dp
  dynamic_pages_sem release
  dynamic_pages_sem release
  # console "recorded " filename eol
  # console "recorded " id eol


method server do_compile_dynamic_page filename lines functio
  arg_rw HttpServer server ; arg Str filename ; arg List:Str
  pliant_compiler_semaphore request
  http_trace trace "compiling page " filename


method server do_compile_dynamic_page filename lines functio
  arg_rw HttpServer server ; arg Str filename ; arg List:Str
  pliant_compiler_semaphore request
  http_trace trace "compiling page " filename
  http_current_filename := filename
  http_current_datetime := (file_query filename standard) da
  var Link:List program :> new List
  var Pointer:Str eod :> lines first ; var Int linenum := 0
  var Pointer:Str l :> lines first ; var Int n := 0 ; var CB
  while exists:l
    if (l parse word:"style" (var Str modname)) and ( (l 0 5
      eod :> lines next l ; linenum := n+1
    eif (l parse word:"module" (var Str modname)) and ( (l 0
      eod :> lines next l ; linenum := n+1
    if (l 0 3)="if "
      within_if := true
    eif (l 0 2)<>"  "
      within_if := false
    l :> lines next l ; n += 1
  var Pointer:Str l :> lines first
  while addressof:l<>addressof:eod
    program append addressof:(new Str l)
    l :> lines next l
  program append addressof:(new Str "function '"+filename+"'
  program append addressof:(new Str "  arg_rw HtmlPage page"
  program append addressof:(new Str "  implicit page")
  program append addressof:(new Str "    [0]left_zero_is_at 
  while exists:l
    program append addressof:(new Str "    "+l)
    l :> lines next l
  var Link:Module module :> new Module
  module name := filename
  if exists:count
    module:properties kmap "pliant style standard button cou
  plugin standard_modules
    module include the_module:"/pliant/language/basic/safe.p
    module include the_module:"/pliant/language/parser/posit
    module include the_module:"/pliant/protocol/http/server.
    pliant_load_module "/pliant/protocol/http/style/default.
    module include the_module:"/pliant/protocol/http/style/d
  plugin extra_modules
  error_push_record (var ErrorRecord e) error_filter_all
  compile_text program module
  if e:id=error_id_noerror
    function :> (pliant_general_dictionary first filename) m
    check exists:function
    pliant_general_dictionary remove filename addressof:func
    err := ""
    var Pointer:Arrow c :> module:properties first "style"
    while c<>null
      function:properties insert "style" false c
      c :> module:properties next "style" c
    function:properties insert "module" true addressof:modul
  else
    function :> null map Function
    err := e message
    e id := error_id_noerror
  error_pull_record e
  if exists:count
    count := module:properties kmap "pliant style standard b
  module :> null map Module
  pliant_compiler_semaphore release

method server compile_dynamic_page filename -> err
  arg_rw HttpServer server ; arg Str filename ; arg Str err
  (var Stream source) open filename in+safe
  if source=failure
    return ""
  pliant_compiler_semaphore request
  var Link:DynamicPage dp :> server find_dynamic_page filena
  if exists:dp
    pliant_compiler_semaphore release
    return ""
  var List:Str lines
  while not source:atend
    lines += source readline
  source close
  err := server do_compile_dynamic_page filename lines (var 
  if exists:function
  var Link:List program :> new List
  var Pointer:Str eod :> lines first ; var Int linenum := 0
  var Pointer:Str l :> lines first ; var Int n := 0 ; var CB
  while exists:l
    if (l parse word:"style" (var Str modname)) and ( (l 0 5
      eod :> lines next l ; linenum := n+1
    eif (l parse word:"module" (var Str modname)) and ( (l 0
      eod :> lines next l ; linenum := n+1
    if (l 0 3)="if "
      within_if := true
    eif (l 0 2)<>"  "
      within_if := false
    l :> lines next l ; n += 1
  var Pointer:Str l :> lines first
  while addressof:l<>addressof:eod
    program append addressof:(new Str l)
    l :> lines next l
  program append addressof:(new Str "function '"+filename+"'
  program append addressof:(new Str "  arg_rw HtmlPage page"
  program append addressof:(new Str "  implicit page")
  program append addressof:(new Str "    [0]left_zero_is_at 
  while exists:l
    program append addressof:(new Str "    "+l)
    l :> lines next l
  var Link:Module module :> new Module
  module name := filename
  if exists:count
    module:properties kmap "pliant style standard button cou
  plugin standard_modules
    module include the_module:"/pliant/language/basic/safe.p
    module include the_module:"/pliant/language/parser/posit
    module include the_module:"/pliant/protocol/http/server.
    pliant_load_module "/pliant/protocol/http/style/default.
    module include the_module:"/pliant/protocol/http/style/d
  plugin extra_modules
  error_push_record (var ErrorRecord e) error_filter_all
  compile_text program module
  if e:id=error_id_noerror
    function :> (pliant_general_dictionary first filename) m
    check exists:function
    pliant_general_dictionary remove filename addressof:func
    err := ""
    var Pointer:Arrow c :> module:properties first "style"
    while c<>null
      function:properties insert "style" false c
      c :> module:properties next "style" c
    function:properties insert "module" true addressof:modul
  else
    function :> null map Function
    err := e message
    e id := error_id_noerror
  error_pull_record e
  if exists:count
    count := module:properties kmap "pliant style standard b
  module :> null map Module
  pliant_compiler_semaphore release

method server compile_dynamic_page filename -> err
  arg_rw HttpServer server ; arg Str filename ; arg Str err
  (var Stream source) open filename in+safe
  if source=failure
    return ""
  pliant_compiler_semaphore request
  var Link:DynamicPage dp :> server find_dynamic_page filena
  if exists:dp
    pliant_compiler_semaphore release
    return ""
  var List:Str lines
  while not source:atend
    lines += source readline
  source close
  err := server do_compile_dynamic_page filename lines (var 
  if exists:function
    http_record_dynamic_page filename filename function (nul
    http_record_dynamic_page filename function (null map Type)
  pliant_compiler_semaphore release
    


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
  pliant_compiler_semaphore release
    


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 
      eif (tf:properties first "pliant editable")<>null and ("&"+request:form+"&" eparse any (pattern "&"+tf:name+"=") any:(var Str value) "&" any:(var Str remain))
        value := replace (replace value "+" " ") "%0D%0A" "%
        value := replace (replace value "+" " ") "%0D%0A" "%
        var Str all := "&"+remain
        while (all eparse any (pattern "&"+tf:name+"=") any:(var Str extra) "&" any:(var Str remain))
          value += "%%0A"+(replace (replace extra "+" " ") "%0D%0A" "%0A")
          all := "&"+remain
        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 and not request:answer_footer_sent
    request send_footer



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
  if database
    data_login request:user_name
  plugin answer_begin
  part answer "site '"+request:site_name+"' user '"+request:
        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 and not request:answer_footer_sent
    request send_footer



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
  if database
    data_login request:user_name
  plugin answer_begin
  part answer "site '"+request:site_name+"' user '"+request:
    if not (request allowed "read")
    if not (request allowed "read") and not (report_load_statistics and command="REPORT_LOAD_STATISTICS" and (request:stream query "remote_ip_address")="127.0.0.1")
      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
      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
    eif report_load_statistics and command="REPORT_LOAD_STATISTICS" and (request:stream query "remote_ip_address")="127.0.0.1"
      var Str all := request path
      var Str answer := ""
      while all<>""
        if (all parse "cpu" (var Float seconds) any:(var Str remain))
          answer += " cpu "+string:seconds+" "+(string cpu_statistics:seconds)
        eif (all parse "interrupts" (var Float seconds) any:(var Str remain))
          answer += " interrupts "+string:seconds+" "+(string interrupts_statistics:seconds)
        eif (all parse "net" (var Str device) (var Float seconds) any:(var Str remain))
          net_statistics device seconds (var Float in_bps) (var Float out_bps)
          answer += " net "+string:device+" "+string:seconds+" "+string:in_bps+" "+string:out_bps
        eif (all parse "disk" (var Str device) (var Float seconds) any:(var Str remain))
          disk_statistics device seconds (var Float read_bps) (var Float write_bps)
          answer += " disk "+string:device+" "+string:seconds+" "+string:read_bps+" "+string:write_bps
        else
          remain := ""
        all := remain
      request send_empty_answer "200"+answer
    else
      var Str virtualpage := reverse request:path
      var Str virtualpath := ""
      while (virtualpage eparse any:(var Str extra) "/" any:
        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



export '. temporary_cleanup'
export '. send_static_file' '. execute_dynamic_page' '. do_c
export '. find_dynamic_page'
export '. forward'
    else
      var Str virtualpage := reverse request:path
      var Str virtualpath := ""
      while (virtualpage eparse any:(var Str extra) "/" any:
        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



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