Patch title: Release 87 bulk changes
Abstract:
File: /pliant/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 "/pliant/language/stream.pli"
abstract
  [Pliant HTTP server implementation, according to RFC2616] 
  [This implementation also contains a very powerfull mecani



module "/pliant/language/stream.pli"
module "/pliant/language/stream/openmode.pli"
module "/pliant/language/stream/filesystembase.pli"
module "/pliant/language/stream/filesystembase.pli"
module "/pliant/language/stream/count.pli"
module "chunked.pli"
module "/pliant/language/compiler.pli"
module "/pliant/language/optimizer.pli"
module "/pliant/language/context.pli"
module "/pliant/language/os.pli"
module "/pliant/admin/file.pli"


module "/pliant/language/compiler.pli"
module "/pliant/language/optimizer.pli"
module "/pliant/language/context.pli"
module "/pliant/language/os.pli"
module "/pliant/admin/file.pli"


module "filters.pli"

constant database true
constant compression os_zlib_filename<>""
constant database true
constant compression os_zlib_filename<>""
constant chunking true
constant conservative false


public
  type HttpServer
    tcp_server_fields "HTTP" 80
    # server configuration
    field CBool dynamic_auto_recompile <- true
    field Float dynamic_page_recheck_delay <- 5
    field Str log
    # HTTP protocol configuration


public
  type HttpServer
    tcp_server_fields "HTTP" 80
    # server configuration
    field CBool dynamic_auto_recompile <- true
    field Float dynamic_page_recheck_delay <- 5
    field Str log
    # HTTP protocol configuration
    field Float protocol_level <- 1.1
    if conservative
      field Float protocol_level <- 1.0 
    else
      field Float protocol_level <- 1.1 
    field CBool keep_alive_connections <- true
    field Float keep_alive_timeout <- 120
    # security issues
    field CBool send_software_release_number <- true
    field Int maximal_header_length <- 2^20
    field Int maximal_form_length <- 2^20
    field Int maximal_file_length <- 2^30
    field CBool keep_alive_connections <- true
    field Float keep_alive_timeout <- 120
    # security issues
    field CBool send_software_release_number <- true
    field Int maximal_header_length <- 2^20
    field Int maximal_form_length <- 2^20
    field Int maximal_file_length <- 2^30
    # configuration issues
    field CBool configure <- false
    field Str admin_user
    field Str admin_password
    field Str simulate
    # statistics
    field Intn hits_count <- 0
    field Intn bytes_count <- 0
    field Sem hits_sem


public
  type HttpRequest
    field Link:Stream stream
    field Link:HttpServer server
    field Float protocol_level
    field CBool keep_alive_requested
    # statistics
    field Intn hits_count <- 0
    field Intn bytes_count <- 0
    field Sem hits_sem


public
  type HttpRequest
    field Link:Stream stream
    field Link:HttpServer server
    field Float protocol_level
    field CBool keep_alive_requested
    field CBool keep_alive_applyed
    field CBool keep_alive_applied
    #
    #
    field Str url_path
    field Str url_options
    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 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 area_mode
    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 Str style_name
    field Str style_options
    field Str forward
    field Dictionary rights
    #
    field Str query_first_line
    field List query_log
    field CBool answered
    field Link:Stream query_stream
    field CBool answer_header_sent answer_footer_sent
    field Str answer_status           # status message that 
    field Str answer_status           # status message that 
    field Str answer_mime_type
    field Str answer_encoding
    field Int answer_size
    field DateTime answer_datetime
    field CBool answer_is_dynamic
    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 List answer_extra
    field Link:Stream answer_stream
    field List temp_files
    field List temp_files
    field Str command
    field TraceSession log
    field Address log_mark


    field TraceSession log
    field Address log_mark


method request try_site site simulate -> status
  arg_rw HttpRequest request ; arg Data:Site site ; arg CBoo
method request try_site site -> status
  arg_rw HttpRequest request ; arg Data:Site site ; arg Status status
  if not exists:site
    return failure
  if not exists:site
    return failure
  if not simulate
    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 In
      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 port)) and site:port<>port and site:port=defined
    return failure
  if site:protocol<>"" and site:protocol<>"HTTP"
    return failure
  if site:from_ip<>"" and not ((request:stream query "remote
    return failure
  if site:protocol<>"" and site:protocol<>"HTTP"
    return failure
  if site:from_ip<>"" and not ((request:stream query "remote
    return failure
  var Str url_path := request url_path
  if url_path:len>0 and (url_path url_path:len-1)="/"
    url_path += "index.html"
  var Str ext := url_path
  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
  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
  if not (url_path parse "/common/" any)
    request area_path := "/"
    request area_root := site root
  if site:style<>"/pliant/protocol/http/style/default.style"
    request style_name := site style
  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
  request forward := site forward
  var Int longuest := 0
  var Data:SiteArea area
  each a site:area
    var Str p := a path ; var Str e := a extension
    if (url_path 0 p:len)=p and (e=ext or e="")
      var Int l := p:len+(shunt e=ext 10^9 0)
    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 l>longuest
        area :> a
        longuest := l
      eif l=longuest
        area :> var Data:SiteArea nonexisting_area
  request area_mode := area mode
  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
  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
  if (request:url_path parse "/common/" any)
    request area_path := "/common/"
    request area_root := "/pliant/protocol/http/common/"
  else
    request area_path := "/"
    request area_root := "/"
  request site_default := "/pliant/protocol/http/default.html"
  request area_path := "/"
  request area_root := "/"
  part assign
  part assign
    request area_mode := ""
    request style_name := ""
    request style_options := ""
    var Str lsite := request:stream safe_query "local_site"
    if lsite<>""
      request site_name := lsite
    request style_name := ""
    request style_options := ""
    var Str lsite := request:stream safe_query "local_site"
    if lsite<>""
      request site_name := lsite
    var CBool simulate := false
    if request:site_name="localhost"
      if request:server:configure
        leave assign
      if request:server:simulate<>""
        request site_name := request:server:simulate
        simulate := true
    if request:site_name<>""
      var Data:Site rsite :> site request:site_name
    if request:site_name<>""
      var Data:Site rsite :> site request:site_name
      if (request try_site rsite simulate)=success
      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: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
          request forward := "tcp://"+request:site_name+"/cl
          leave assign
        all := domain
    each s site
        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: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
          request forward := "tcp://"+request:site_name+"/cl
          leave assign
        all := domain
    each s site
      if s:ip<>"" and (request try_site s false)=success
      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
        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 false)=succe
    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 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
  request http_answer "HTTP/"+(string request:protocol_level "fixed 1")+" "+(shunt request:answer_status<>"" request:answer_status "200 OK")
  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
    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: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
    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_
  request keep_alive_applyed := request:keep_alive_requested
  if request:keep_alive_applyed 
  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_requested and (request:answer_size=defined or request:answer_chunked)
  if request:keep_alive_applied and request:protocol_level<1.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 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 (options option "nochunked")
      request answer_chunked := 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
    request answer_stream :> s
  if compression and request:answer_encoding<>""
    var Link:Stream s :> new Stream
    s open request:answer_encoding+":" "" out+safe pliant_default_file_system request:answer_stream
    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
    request:server bytes_count += request answer_size
  request:server:hits_sem release

  request:server:hits_sem request
  request:server hits_count += 1
  if request:answer_size=defined
    request:server bytes_count += request answer_size
  request:server:hits_sem release

method request send_footer
  arg_rw HttpRequest request
  request answered := true


method p bind r
  arg_rw HtmlPage p ; arg_rw HttpRequest r
  p http_request :> r
  p http_stream :> r stream
  p options := http_decode r:url_options
  p html_hook :> the_function '. default_html_hook' HtmlPage
  p text_hook :> the_function '. default_text_hook' HtmlPage
  p begin_hook :> the_function '. default_begin_end_hook' Ht
  p end_hook :> the_function '. default_begin_end_hook' Html
  p:html_stack mark
  p execute_style_setup "/pliant/protocol/http/style/default
  p execute_style_setup r:style_name
  if compression and r:answer_encoding<>""
    p http_stream :> new Stream
    p:http_stream open r:answer_encoding+":" "" out+safe pli
  p:html_stack initialize

method p unbind r
  arg_rw HtmlPage p ; arg_rw HttpRequest r
  p:html_stack rewind

type NullStreamDriver
  void


type NullStreamDriver
  void



method p reset_http_answer
  arg_rw HtmlPage p
  var Pointer:HttpRequest r :> p http_request
  if (addressof p:http_stream)<>(addressof r:stream)
    var Link:StreamDriver drv :> r:stream stream_driver
    r:stream stream_driver :> new NullStreamDriver
    p http_stream :> r stream
method p reset_http_answer
  arg_rw HtmlPage p
  var Pointer:HttpRequest r :> p http_request
  if (addressof p:http_stream)<>(addressof r:stream)
    var Link:StreamDriver drv :> r:stream stream_driver
    r:stream stream_driver :> new NullStreamDriver
    p http_stream :> r stream
    r answer_stream :> r stream
    r:stream stream_driver :> drv
    r:stream stream_driver :> drv
  r answer_mime_type := ""
  r answer_datetime := undefined
  r answer_is_dynamic := true
  r answer_size := undefined
  r answer_encoding := ""
  r answer_encoding := ""
  r answer_chunked := false
  r keep_alive_applied := false
  r:stream stream_write_cur := r:stream stream_write_buf
  r:log rewind r:log_mark
  r:stream stream_write_cur := r:stream stream_write_buf
  r:log rewind r:log_mark
  r answer_header_sent := false




method p bind r
  arg_rw HtmlPage p ; arg_rw HttpRequest r
  p http_request :> r
  p http_stream :> r answer_stream
  p options := r options
  p html_hook :> the_function '. default_html_hook' HtmlPage Str
  p text_hook :> the_function '. default_text_hook' HtmlPage Str
  p begin_hook :> the_function '. default_begin_end_hook' HtmlPage
  p end_hook :> the_function '. default_begin_end_hook' HtmlPage
  p:html_stack mark
  p execute_style_setup "/pliant/protocol/http/style/default.style"
  p execute_style_setup r:style_name
  p:html_stack initialize

method p unbind
  arg_rw HtmlPage p
  p:html_stack rewind


method request modified_since since -> m
  arg HttpRequest request ; arg DateTime since ; arg CBool m
  var Pointer:Arrow c :> request:query_log first
  while c<>null
    var Pointer:Str s :> c map Str
    if (s parse word:"If-Modified-Since" ":" any:(var Str ti
      if rfc1123_date:timestamp=since
        return false
    c :> request:query_log next c
  m := true
 


method request send_simple_page title header_message text_me
  arg_rw HttpRequest request ; arg Str title header_message 
method request modified_since since -> m
  arg HttpRequest request ; arg DateTime since ; arg CBool m
  var Pointer:Arrow c :> request:query_log first
  while c<>null
    var Pointer:Str s :> c map Str
    if (s parse word:"If-Modified-Since" ":" any:(var Str ti
      if rfc1123_date:timestamp=since
        return false
    c :> request:query_log next c
  m := true
 


method request send_simple_page title header_message text_me
  arg_rw HttpRequest request ; arg Str title header_message 
  request answer_status := status
  request answer_mime_type := "text/html"
  request send_header
  (var HtmlPage page) bind request
  page html "<!DOCTYPE HTML PUBLIC [dq]-//W3C//DTD HTML 3.2 
  page html "<html>[lf]"
  page html "<head>[lf]"
  var Str a := "<!DOCTYPE HTML PUBLIC [dq]-//W3C//DTD HTML 3.2 Final//EN[dq]>[lf]"
  a += "<html>[lf]"
  a += "<head>[lf]"
  if title<>""
  if title<>""
    page html "<title>"+html_encode:title+"</title>[lf]"
    a += "<title>"+html_encode:title+"</title>[lf]"
  if header_message<>""
  if header_message<>""
    page html header_message
  page html "</head>[lf]"
  page html "<body>[lf]"
    a += header_message
  a += "</head>[lf]"
  a += "<body>[lf]"
  if text_message<>""
  if text_message<>""
    page text text_message
    a += text_message
  if html_message<>""
  if html_message<>""
    page html html_message
  page html "</body>[lf]"
  page html "</html>[lf]"
    a += html_message
  a += "</body>[lf]"
  a += "</html>[lf]"
  request send_header "status "+string:status+" mime [dq]text/html[dq] size "+(string a:len)
  request:stream writechars a
  request send_footer
  request send_footer
  page unbind request




gvar Str http_current_pagename
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
  var Link:DynamicPage dp :> new DynamicPage
  dp filename := http_current_filename
  dp position := position
  dp datetime := http_current_datetime
  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
  else
    dynamic_pages first filename := addressof dp
  dynamic_pages_sem release
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
  var Link:DynamicPage dp :> new DynamicPage
  dp filename := http_current_filename
  dp position := position
  dp datetime := http_current_datetime
  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
  else
    dynamic_pages first filename := addressof dp
  dynamic_pages_sem release
  # console "recorded " filename eol




function mime_filter src dest options fun
  arg_rw Stream src dest ; arg_rw Str options ; arg Function
  indirect

function compile_style name
  arg Str name
  html_styles_sem rd_request
  var Pointer:Arrow c :> html_styles first name
  if c<>null
    html_styles_sem rd_release
    return
  html_styles_sem rd_release
  pliant_compiler_semaphore request
  pliant_load_module name the_module:"/pliant/language/basic
  pliant_compiler_semaphore release


function compile_style name
  arg Str name
  html_styles_sem rd_request
  var Pointer:Arrow c :> html_styles first name
  if c<>null
    html_styles_sem rd_release
    return
  html_styles_sem rd_release
  pliant_compiler_semaphore request
  pliant_load_module name the_module:"/pliant/language/basic
  pliant_compiler_semaphore release


method server do_compile_dynamic_page pagename physical name
  arg_rw HttpServer server ; arg Str pagename physical name 
method server do_compile_dynamic_page filename lines function count -> err
  arg_rw HttpServer server ; arg Str filename ; arg List:Str lines ; arg_w Link:Function function ; arg_rw Int count ; arg Str err
  pliant_compiler_semaphore request
  pliant_compiler_semaphore request
  http_trace trace "compiling page " name
  http_current_pagename := pagename
  http_current_filename := physical
  http_current_datetime := (file_query physical standard) da
  http_trace trace "compiling page " filename
  http_current_filename := filename
  http_current_datetime := (file_query filename standard) datetime
  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
  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 '"+name+"' pag
  program append addressof:(new Str "function '"+filename+"' page")
  program append addressof:(new Str "  arg_rw HtmlPage page"
  program append addressof:(new Str "  implicit page")
  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 
  program append addressof:(new Str "    [0]left_zero_is_at [dq]"+filename+"[dq] "+string:linenum+" 1[0]")
  while exists:l
    program append addressof:(new Str "    "+l)
    l :> lines next l
  var Link:Module module :> new Module
  while exists:l
    program append addressof:(new Str "    "+l)
    l :> lines next l
  var Link:Module module :> new Module
  module name := name
  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
  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 name) map F
    function :> (pliant_general_dictionary first filename) map Function
    check exists:function
    check exists:function
    pliant_general_dictionary remove name addressof:function
    pliant_general_dictionary remove filename addressof:function
    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

    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 pagename filename -> err
  arg_rw HttpServer server ; arg Str pagename filename ; arg
  var Str ext := filename (filename search_last "." filename
  var Link:Function filter :> query_mime_dynamic_filter ext
  if not exists:filter
    return "?"
  var Str physical := shunt ext<>".html" filename (filename 
  var FileInfo info := file_query physical standard
  if info=failure or info:is_directory
    return "?"
  var Link:DynamicPage dp :> server find_dynamic_page filena
  if exists:dp
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 ""
    return ""
  var Stream data ; data open physical in+safe
  if data=failure
    return "?"
  # try again with the compile semaphore locked in order to 
  pliant_compiler_semaphore request
  var Link:DynamicPage dp :> server find_dynamic_page filena
  if exists:dp
    pliant_compiler_semaphore release
    return ""
  pliant_compiler_semaphore request
  var Link:DynamicPage dp :> server find_dynamic_page filena
  if exists:dp
    pliant_compiler_semaphore release
    return ""
  var Str temp := file_temporary
  (var Stream tmp) open temp out
  var Str opt := ""
  mime_filter data tmp opt filter
  data close
  tmp open temp in
  var List:Str lines
  var List:Str lines
  while not tmp:atend
    lines += tmp readline
  tmp close
  file_delete temp
  err := server do_compile_dynamic_page pagename physical ph
  while not source:atend
    lines += source readline
  source close
  err := server do_compile_dynamic_page filename lines (var Link:Function function) (null map Int)
  if exists:function
    http_record_dynamic_page filename filename function (nul
  pliant_compiler_semaphore release
    

  if exists:function
    http_record_dynamic_page filename filename function (nul
  pliant_compiler_semaphore release
    

function http_precompile filename
  arg Str filename
  var Str err := (var HttpServer server) compile_dynamic_pag
function http_precompile path
  arg Str path
  var Str ext := path (path search_last "." path:len) path:len
  var Str filename := shunt ext<>".html" path (path 0 (path search_last "." path:len))+".page"
  var Str err := (var HttpServer server) compile_dynamic_page filename
  if err<>""
  if err<>""
      console "Failed to precompile dynamic page " filename 
    console "Failed to precompile dynamic page " filename " : " err eol


method request send_static_file filename options -> status
  arg_rw HttpRequest request ; arg Str filename options ; ar


method request send_static_file filename options -> status
  arg_rw HttpRequest request ; arg Str filename options ; ar
  var Str ext
  if (options parse "filter_" any:ext _ any)
    void
  eif (options parse "filter_" any:ext)
    void
  else
    ext := filename (filename search_last "." filename:len) 
  var FileInfo info := file_query filename standard
  if info=undefined or info:is_directory
    return failure
  if not (request modified_since info:datetime)
  var FileInfo info := file_query filename standard
  if info=undefined or info:is_directory
    return failure
  if not (request modified_since info:datetime)
    request answer_status := "304 Not modified"
    request answer_is_dynamic := false
    request send_header
    request send_header "status [dq]304 Not modified[dq] static nochunked"
    request send_footer
    return success
  var Stream data ; data open filename in+safe
  if data=failure
    return failure
    request send_footer
    return success
  var Stream data ; data open filename in+safe
  if data=failure
    return failure
  var Str opt := options+" name "+string:filename
  var Link:Function filter :> query_mime_static_filter ext
  if exists:filter
    var Str tempname := file_temporary
    var Stream temp ; temp open tempname out+safe
    if temp=failure
      return failure
    mime_filter data temp opt filter
    data close ; temp close
    info size := (file_query tempname standard) size
    data open tempname in+safe
    if data=failure
      file_delete tempname
      return failure
  var Str mime := opt option "mime" Str
  var Str mime := options option "mime" Str
  if mime=""
  if mime=""
    var Str ext := filename (filename search_last "." filename:len) filename:len
    mime := query_mime_type ext
    mime := query_mime_type ext
  if mime=""
    mime := "binary/*"
  request answer_mime_type := mime
  request answer_size := info size
  request answer_datetime := info datetime
  request answer_is_dynamic := false
  request answer_encoding := ""
  request send_header
  request send_header "mime "+string:mime+" datetime "+(string info:datetime)+" static size "+(string info:size)
  part send "send static file content"
    var Int remain := info size
    while remain>0 and { var Int step := raw_copy data reque
      remain -= step
    request:stream flush anytime
  data close
  part send "send static file content"
    var Int remain := info size
    while remain>0 and { var Int step := raw_copy data reque
      remain -= step
    request:stream flush anytime
  data close
  if exists:filter
    file_delete tempname
  if remain<>0
  if remain<>0
    request keep_alive_applyed := false
    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) 
  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 path
          path := replace (replace path "(" "&#") ")" ";"
          value := replace http_decode:value "[cr][lf]" "[lf
        if (http_decode:name parse "data/" any:(var Str sign) "/" any:(var Str path) )
          path := "/"+(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 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:temp_files:first=null and (not (exists reques
      page reset_http_answer
          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:temp_files:first=null and (not (exists reques
      page reset_http_answer
      request send_redirect_answer request:url_path+"?"+requ
      request send_redirect_answer request:encoded_path+"?"+request:context false
      return true


      return true


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

  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/misc/"+name+".html"
  page unbind
  request send_footer

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
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 filename
    if err<>""
      request send_simple_page "Bug in page "+request:path "" "There is a bug in the dynamic page "+request:path+".[lf]" "<PRE>[lf]"+(replace html_encode:err "&#10;" "[lf]")+"[lf]<PRE>[lf]" "500 Internal Server Error"
      return success
    sp :> request:server find_dynamic_page filename
  if not exists:sp
    return failure
  var Link:DynamicPage dp ; var Str context
    return failure
  var Link:DynamicPage dp ; var Str context
  if ("&"+request:form+"&"+request:url_options+"=" eparse an
  if ("&"+request:form+"&"+request:encoded_options+"=" eparse any "&button-" (var Int context_x) "-" (var Int context_y) "-" any:(var Str button) "-" any:(var Str scontext) "-" any:(var Str signature) "=" any)
    button := http_decode button
    button := http_decode button
    var Str context := request uncipher http_decode:scontext
    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
    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 url_options := ""
      var Str filename2 := request what_file "/misc/signatur
      request send_file filename2 ""
      request form := "" ; request encoded_options := ""
      request send_misc_answer "signature"
      return success # wrong signature
    dp :> request:server find_dynamic_page http_decode:butto
      return success # wrong signature
    dp :> request:server find_dynamic_page http_decode:butto
    if not exists:dp and (button parse any:(var Str modulena
      if modulename:len>4 and (modulename modulename:len-4 4
        pliant_compiler_semaphore request
        pliant_load_module modulename the_module:"/pliant/la
        pliant_compiler_semaphore release
        dp :> request:server find_dynamic_page http_decode:b
    if not exists:dp and (button parse any:(var Str modulename) ".pli/" any) and (modulename 0 1)="/"
      pliant_compiler_semaphore request
      pliant_load_module modulename+".pli" the_module:"/pliant/language/basic/safe.pli" 0 (null map Module)
      pliant_compiler_semaphore release
      dp :> request:server find_dynamic_page http_decode:button
    if not exists:dp and (button parse any:(var Str modulename) ".page/" any) and (modulename 0 1)="/"
      request:server compile_dynamic_page modulename+".page"
      dp :> request:server find_dynamic_page http_decode:button
    if not exists:dp
    if not exists:dp
      request form := "" ; request url_options := ""
      var Str filename2 := request what_file "/misc/obsolete
      request send_file filename2 ""
      request form := "" ; request encoded_options := ""
      request send_misc_answer "obsolete"
      return success # there is no such button
  else
    dp :> sp
    context := ""
      return success # there is no such button
  else
    dp :> sp
    context := ""
  request answer_mime_type := "text/html"
  request answer_datetime := dp datetime
  if compression
    request answer_encoding := request supported_encoding
  request send_header
  request send_header "mime [dq]text/html; charset=iso-8859-1[dq] datetime "+(string dp:datetime)+" compressed chunked"
  (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
  (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 := success
    status := shunt request:answer_header_sent success failure
  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 { 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 "+" " ") "%0C%0A" "%0A"
        pc += "&"+tf:name+"="+value
        pc += "&"+tf:name+"="+value
        value := replace http_decode:value "[cr][lf]" "[lf]"
        from_string (buf translate Byte tf:offset) tf:type v
        from_string (buf translate Byte tf:offset) tf:type http_decode:value "db"
      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
      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
          value := replace http_decode:value "[cr][lf]" "[lf
          from_string (buf translate Byte tf:offset) tf:type
          from_string (buf translate Byte tf:offset) tf:type http_decode:value "db"
    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
    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
    request context := "button-"+string:pos_x+"-"+string:pos_y+"-"+http_encode:id+"-"+(request cipher pc)+"-"+(request generate_signature id+" "+pc)
    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
    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 := success
    status := shunt request:answer_header_sent success failure
  else
    status := failure
  else
    status := failure
  request send_footer
  page unbind request
  page unbind
  if status=success
    request send_footer




#-----------------------------------------------------------
#  studying client query
method request send_dynamic_answer path -> status
  arg_rw HttpRequest request ; arg Str path ; arg Status status
  if (path (path search_last "." path:len) path:len)=".html"
    var Str filename := request what_file path
    filename := (filename 0 (filename search_last "." filename:len))+".page"
    if (request send_dynamic_file filename "")=success
      return success
  eif (path path:len-1)="/"
    var Str filename := request what_file path+"index.html"
    filename := (filename 0 (filename search_last "." filename:len))+".page"
    if (request send_dynamic_file filename "")=success
      return success
  var Str rpath := reverse path
  var Str virtualpath := ""
  while (rpath eparse any:(var Str rextra) "/" any:(var Str rbase))
    virtualpath := "/"+reverse:rextra+virtualpath
    var Str filename := request what_file reverse:rbase+"/virtual_tree.page"
    if (request send_dynamic_file filename virtualpath)=success
      return success
    rpath := rbase
  status := failure




method request send_file filename virtualpath -> status
  arg_rw HttpRequest request ; arg Str filename virtualpath 
  var Str ext := filename (filename search_last "." filename
  if request:area_mode="dynamic" and (query_mime_dynamic_fil
    return    
  if request:area_mode<>"static" or (request allowed "admini
    if not ( (request:url_options parse "filter_" any:(var S
      if (request send_dynamic_file filename virtualpath)=su
        return success
      var Str err := request:server compile_dynamic_page req
      if err<>"?"
        if err=""
          if (request send_dynamic_file filename virtualpath
            return success
        else
          request send_simple_page "Bug in page "+request:ur
          return success
  if (request send_static_file filename (http_decode request
    return success
  if (request what_file "/misc/not_found.html")=filename
    request send_simple_page "Not found" "" "The requested p
    return success
  eif (request what_file "/misc/enter_key_pressed.html")=fil
    request send_simple_page "You pressed enter key ..." "" 
    return success
  eif (request what_file "/misc/not_allowed.html")=filename
    request send_simple_page "Not allowed" "" "You are not a
    return success
  eif (request what_file "/misc/signature.html")=filename
    request send_simple_page "Wrong signature" "" "The conte
    return success
  eif (request what_file "/misc/obsolete.html")=filename
    request send_simple_page "Obsolete" "" "You are trying t
    return success
  else
    return failure


#---------------------------------------------------------------------------
#  studying client query


method request answer
  arg_rw HttpRequest request
  if not (request allowed "read")
    if request:user_name=""
      request send_authentification_request
    else
      var Str filename2 := request what_file "/misc/not_allo
      request send_file filename2 ""
      request:log trace "requested a not allowed page " requ
    return
  var Str pagename := request url_path
  var Str filename := request what_file pagename+(shunt (pag
  if (request send_file filename "")=success
    return
  if (pagename pagename:len-1)<>"/"
    var Str dirname := request what_file pagename+"/"
    var FileInfo info := file_query dirname standard
    if info=defined and info:is_directory and request:protoc
      var Str sitename := shunt request:site_name<>"" reques
      request send_redirect_answer "http://"+sitename+pagena
      return
  var Str virtualpage := reverse pagename
  var Str virtualpath := ""
  while (virtualpage parse any:(var Str extra) "/" any:(var 
    virtualpath := "/"+reverse:extra+virtualpath
    var Str virtualfile := request what_file reverse:base+"/
    if (request send_file virtualfile virtualpath)=success
      return
    virtualpage := base
    request:log trace "requested an unknown page filename=" 
  var Str filename2 := request what_file "/misc/not_found.ht
  request send_file filename2 ""



function find_browser_identity id model release
  arg Str id ; arg_w Str model ; arg_w Float release
  var Str value := lower id
  if (value parse word:"pliant" "/" release any)
    model := "pliant"
  eif (value parse any word:"opera" "/" release any) or (val
    model := "opera"
  eif (value parse any word:"msie" release any)
    model := "ie"
  eif (value parse any word:"konqueror" "/" release any) or 
    model := "konqueror"
  eif (value parse any word:"compatible" any)
    model := "" ; release := undefined
  eif (value parse word:"mozilla" "/" release any)
    model := shunt release<5 "netscape" "mozilla"
  else
    model := "" ; release := undefined
  plugin browser_identity


method request browser_walkaround
  arg_rw HttpRequest request
  if request:browser_model="opera" or request:browser_model=
    if request:supported_encoding="deflate"
      request supported_encoding := "gzip"
  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
function find_browser_identity id model release
  arg Str id ; arg_w Str model ; arg_w Float release
  var Str value := lower id
  if (value parse word:"pliant" "/" release any)
    model := "pliant"
  eif (value parse any word:"opera" "/" release any) or (val
    model := "opera"
  eif (value parse any word:"msie" release any)
    model := "ie"
  eif (value parse any word:"konqueror" "/" release any) or 
    model := "konqueror"
  eif (value parse any word:"compatible" any)
    model := "" ; release := undefined
  eif (value parse word:"mozilla" "/" release any)
    model := shunt release<5 "netscape" "mozilla"
  else
    model := "" ; release := undefined
  plugin browser_identity


method request browser_walkaround
  arg_rw HttpRequest request
  if request:browser_model="opera" or request:browser_model=
    if request:supported_encoding="deflate"
      request supported_encoding := "gzip"
  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
  var Link:Stream d :> new Stream
  d open target in+out+cr+lf+safe
  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 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
     


function unhexa s -> i
  arg Str s ; arg Int i
  i := 0
  for (var Int j) 0 s:len-1
    var Int c := s:j number
    if c>="0":0:number and c<="9":0:number
      i := i*16+(c-"0":0:number)
    eif c>="A":0:number and c<="F":0:number
      i := i*16+(c-"A":0:number+10)
    eif c>="a":0:number and c<="f":0:number
      i := i*16+(c-"a":0:number+10)
    eif c=" ":number
      void
    else
      return undefined
  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 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
     


function unhexa s -> i
  arg Str s ; arg Int i
  i := 0
  for (var Int j) 0 s:len-1
    var Int c := s:j number
    if c>="0":0:number and c<="9":0:number
      i := i*16+(c-"0":0:number)
    eif c>="A":0:number and c<="F":0:number
      i := i*16+(c-"A":0:number+10)
    eif c>="a":0:number and c<="f":0:number
      i := i*16+(c-"a":0:number+10)
    eif c=" ":number
      void
    else
      return undefined


method request read_data_string limit datas -> status
  arg_rw HttpRequest request ; arg Int limit ; arg_w Str dat
  implicit request
    var CBool continue := false
    var Int length := undefined
    var CBool chunked := false
    var Pointer:Arrow c :> query_log first
    while c<>null
      var Pointer:Str s :> c map Str
      if (s parse acword:"expect" ":" acword:"100-continue" 
        continue := true
      eif (s parse acword:"content-length" ":" (var Int i))
        length := i
      eif (s parse acword:"transfer-encoding" ":" acword:"ch
        chunked := true
      c :> query_log next c
    datas := ""
    status := failure
    if length=undefined and not chunked
      return
    part read
      if protocol_level>=1.1 and continue
        send_empty_answer "100 Continue"
      if chunked
        datas := ""        
        part read_chunk
          var Str csize := stream readline
          var Int step := unhexa csize
          if step<0
            send_empty_answer "400 Incorrect chunk size" ; l
          if limit=defined and datas:len+step>limit
            send_empty_answer "500 Overflow" ; leave read
          datas resize datas:len+step
          stream raw_read (datas:characters translate Char d
          var Str eoc := stream readline
          if step<>0
            restart read_chunk
      else
        datas set (memory_allocate length addressof:datas) l
        stream raw_read datas:characters datas:len
      status := success
    if status=failure
      stream error "Failed read HTTP client datas"

method request read_data_file limit filename -> status
  arg_rw HttpRequest request ; arg Int limit ; arg Str filen
  implicit request
    var CBool continue := false
    var Int length := undefined
    var CBool chunked := false
    var Pointer:Arrow c :> query_log first
    var DateTime dt := undefined
    while c<>null
      var Pointer:Str s :> c map Str
      if (s parse acword:"expect" ":" acword:"100-continue" 
        continue := true
      eif (s parse acword:"content-length" ":" (var Int i))
        length := i
      eif (s parse acword:"transfer-encoding" ":" acword:"ch
        chunked := true
      eif (s parse acword:"last-modified" ":" any:(var Str v
        dt := rfc1123_date value
      c :> query_log next c
    status := failure
    if length=undefined and not chunked
      return
    part read
      (var Stream data) open filename out+safe
      if data=failure
        send_empty_answer "500 Internal Server Error" ; leav
      if protocol_level>=1.1 and continue
        send_empty_answer "100 Continue"
      if chunked
        length := 0
        part read_chunk
          var Str csize := stream readline
          var Int step := unhexa csize
          if step<0
            send_empty_answer "400 Incorrect chunk size" ; l
          if limit=defined and length+step>limit
            send_empty_answer "500 Overflow" ; leave read
          if (raw_copy stream data step step)<>step
            send_empty_answer "400 Broken connection" ; leav
          length += step
          var Str eoc := stream readline
          if step<>0
            restart read_chunk
      else
        if limit=defined and length>limit
          send_empty_answer "500 Overflow" ; leave read
        if (raw_copy stream data length length)<>length
          send_empty_answer "400 Broken connection" ; leave 
      if data:close=failure
        send_empty_answer "500 Internal Server Error" ; leav
      if dt=defined
        file_configure filename "datetime "+string:dt
      status := success
    if status=failure
      data close
      file_delete filename
      stream error "Failed read HTTP client datas"
     

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
     

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_applyed := false
    keep_alive_applied := false
    query_log := var List empty_list
    query_log := var List empty_list
    answered := false
    answer_header_sent := false
    answer_footer_sent := false
    answer_extra := var List empty_list
    answer_status := ""
    answer_mime_type := ""
    answer_extra := var List empty_list
    answer_status := ""
    answer_mime_type := ""
    answer_size := undefined
    answer_datetime := undefined
    answer_is_dynamic := true
    answer_datetime := undefined
    answer_is_dynamic := true
    answer_size := undefined
    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
    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 parse any:command _ (any request:url_path) _ any
      if (request:url_path eparse "http://" any "/" any:(var
        request url_path := "/"+remain
    if (cmd eparse any:command _ (any request:encoded_path) _ any:(var Str protocol))
      if (request:encoded_path eparse "http://" any "/" any:(var Str remain))
        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
      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 parse any:command "_" (any request:url_path))
    eif (cmd eparse any:command "_" (any request:encoded_path))
      request protocol_level := 0.9
      request protocol_level := 0.9
    eif cmd:len<=1
      request keep_alive_applyed := true
      return
    else
      request send_empty_answer "400 Bad Request"
      return
    else
      request send_empty_answer "400 Bad Request"
      return
    if request:protocol_level>=1.1
      request keep_alive_requested := true
    request keep_alive_requested := request:protocol_level>=1.1
    if (request:encoded_path parse any:(var Str base) "?" (any request:encoded_options))
      request encoded_path := base
    else
    else
      request keep_alive_requested := false
    if (request:url_path parse any:(var Str base) "?" (any r
      request url_path := base
    else
      request url_options := ""
      request encoded_options := ""
    request command := command
    request command := command
    request path := http_decode request:encoded_path
    request options := http_decode request:encoded_options
    var Int length := undefined
    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
    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
        else
          header_length := request:server:maximal_header_len
        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" ; 
        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 acword:"chunked" any)
            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:(var Str user) ":" any:(var
                var Data:UserSecret u :> user_secret_databas
          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:(var Str user) ":" any:(var
                var Data:UserSecret u :> user_secret_databas
                if request:server:configure and user=request
                if u:password_md5=string_md5_hexa_signature:password
                  request user_name := user
                  request user_auth_level := 1
                  request user_name := user
                  request user_auth_level := 1
                  request user_is_admin := true
                eif 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 assign_user ## section "parse_then_answer user" ; 
  request assign_site ## how "" section "method assign_site"
                  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 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:stream query "remote_ip_address")
    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 in+safe pliant_default_file_system request:stream
  eif chunked
    request:query_stream open "chunked:" "" in+safe pliant_default_file_system request:stream
  else
    request:query_stream open "count:" "size 0" in+safe pliant_default_file_system request:stream
  plugin answer_begin
  part answer "site '"+request:site_name+"' user '"+request:
  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 " request:encoded_path
      leave answer
    if request:style_name<>""
      compile_style request:style_name
    if request:style_name<>""
      compile_style request:style_name
    if request:forward<>""
      request forward request:forward "Origin-IP: "+(request
    eif command="GET"
      request answer
    if command="GET"
      if query_mime_type:(request:path (request:path search_last "." request:path:len) request:path:len)<>""
        if (request send_static_file (request what_file request:path) "")=success
          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 request:path+"/") standard
        if info=defined and info:is_directory and request:protocol_level>=1
          request send_redirect_answer "http://"+(shunt request:site_name<>"" request:site_name (request:stream query "local_ip_address"))+request:encoded_path+"/" true
          leave answer
      var Str filename := request site_default
      filename := (filename 0 (filename search_last "." filename:len))+".page"
      if (request send_dynamic_file filename request:path)=failure
        request:log trace "requested an unknown page " request:encoded_path
        request send_simple_page "Not found" "" "The requested page does not exist on this server." "" "404 Not Found"
    eif command="POST" ## section "parse_then_answer POST"
    eif command="POST" ## section "parse_then_answer POST"
      if length=undefined or length<0
        request send_empty_answer "411 Length Required" ; le
      eif length>(shunt multipart request:server:maximal_fil
        request send_empty_answer "413 Request Entity Too La
      if request:protocol_level>=1.1 and continue
        request send_empty_answer "100 Continue"
      if not multipart
        part read_form "read HTTP form"
          var Address buffer := null ; var Int done := 0
      if not multipart
        part read_form "read HTTP form"
          var Address buffer := null ; var Int done := 0
          while done<length and not http:atend
            http read_available (var Address buf) (var Int s
            buffer := memory_resize buffer done+step null
            memory_copy buf (buffer translate Byte done) ste
            done += step
          if done=length
            request:form set buffer length true
          while not request:query_stream:atend and done<request:server:maximal_form_length
            request:query_stream read_available (var Address adr) (var Int size)
            buffer := memory_resize buffer done+size null
            memory_copy adr (buffer translate Byte done) size
            done += size
          request:form set buffer done true
      else
      else
        var Str form_temp := file_temporary
        part read_multipart_form "read HTTP multipart form"
          (var Stream form) open form_temp out+safe
          var Int done := 0
          while done<length and not http:atend
            http read_available (var Address buf) (var Int s
            form raw_write buf step
            done += step
          form close
        part parse_multipart_form "parse HTTP multipart form
        part parse_multipart_form "parse HTTP multipart form
          form open form_temp in+safe
          request form := ""
          var Int avail := request:server:maximal_form_lengt
          var Int avail2 := request:server:maximal_file_leng
          part multi
          request form := ""
          var Int avail := request:server:maximal_form_lengt
          var Int avail2 := request:server:maximal_file_leng
          part multi
            while not form:atend
            while not request:query_stream:atend
              var Str value
              var Str label := "" ; var Str filename := ""
              var Str value
              var Str label := "" ; var Str filename := ""
              while { var Str line := form readline ; reques
              while { var Str line := request:query_stream readline ; request:log trace "multipart_form " line ; line<>"" }
                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 :
                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 form:at
                while cache:len<boundary:len and not request:query_stream:atend
                  if cache:len=0
                  if cache:len=0
                    var Address a := memory_search form:stre
                    var Address a := memory_search request:query_stream:stream_read_cur (cast request:query_stream:stream_read_stop Int).-.(cast request:query_stream:stream_read_cur Int) boundary:characters 1
                    if a=null
                    if a=null
                      a := form stream_read_stop
                    var Int step := (cast a Int).-.(cast for
                    data raw_write form:stream_read_cur step
                    form stream_read_cur := a
                  form raw_read addressof:(var Char ch) 1 ; 
                      a := request:query_stream stream_read_stop
                    var Int step := (cast a Int).-.(cast request:query_stream:stream_read_cur Int)
                    data raw_write request:query_stream:stream_read_cur step ; avail2 -= step
                    request:query_stream stream_read_cur := a
                  request:query_stream raw_read addressof:(var Char ch) 1 ; cache += ch
                  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 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 form:atend and cache:len<boundary:
                while not request:query_stream:atend and cache:len<boundary:len
                  if cache:len=0
                  if cache:len=0
                    var Address a := memory_search form:stre
                    var Address a := memory_search request:query_stream:stream_read_cur (cast request:query_stream:stream_read_stop Int).-.(cast request:query_stream:stream_read_cur Int) boundary:characters 1
                    if a=null
                    if a=null
                      a := form stream_read_stop
                    var Int step := (cast a Int).-.(cast for
                    (var Str temp) set form:stream_read_cur 
                      a := request:query_stream stream_read_stop
                    var Int step := (cast a Int).-.(cast request:query_stream:stream_read_cur Int)
                    (var Str temp) set request:query_stream:stream_read_cur step false
                    value += temp ; avail -= step
                    value += temp ; avail -= step
                    form stream_read_cur := a
                  form raw_read addressof:(var Char ch) 1 ; 
                    request:query_stream stream_read_cur := a
                  request:query_stream raw_read addressof:(var Char ch) 1 ; cache += ch
                  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
                  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
              form raw_read addressof:(var Char ch) 1
              form readline
              request:query_stream raw_read addressof:(var Char ch) 1
              request:query_stream readline
              if ch="-"
                leave multi
              if ch="-"
                leave multi
          form close
        file_delete form_temp
      request:log trace "form " request:form
      request:log trace "form " request:form
      request answer
      request send_dynamic_answer request:path
    else
    else
      var Str virtualpage := reverse request:url_path
      var Str virtualpage := reverse request:path
      var Str virtualpath := ""
      while (virtualpage parse any:(var Str extra) "/" any:(
        virtualpath := "/"+reverse:extra+virtualpath
      var Str virtualpath := ""
      while (virtualpage parse any:(var Str extra) "/" any:(
        virtualpath := "/"+reverse:extra+virtualpath
        var Str virtualfile := request what_file reverse:bas
        if (request send_file virtualfile virtualpath)=succe
        var Str virtualfile := request what_file reverse:base+"/virtual_tree.page"
        if (request send_dynamic_file virtualfile virtualpath)=success
          leave answer
        virtualpage := base
      request send_empty_answer "501 Not Implemented"
  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:log bind http_trace
          leave answer
        virtualpage := base
      request send_empty_answer "501 Not Implemented"
  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:log bind http_trace
  request:log trace "connection start at " datetime " from "
  var Str id := generate_id
  request:log trace "connection "+id+" start at " datetime " from " (http query "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 server:keep_a
        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 server:keep_a
        ae := http atend
        http safe_configure "timeout ?"
    if ae
      leave one_request
    if not first
      request:log trace "connection restart at " datetime " 
      request:log trace "connection "+id+" restart at " datetime " from " (http query "remote_ip_address")
    request parse_then_answer
    request parse_then_answer
    if request:keep_alive_applyed
      http flush async
    request:log flush
    request:log flush
    if request:keep_alive_applyed
    if request:keep_alive_applied
      http flush async
      http safe_configure "timeout "+(string server:keep_alive_timeout)
      while not request:query_stream:atend
        request:query_stream read_available (var Address adr) (var Int size)
      first := false
      restart one_request
  request temporary_cleanup
      first := false
      restart one_request
  request temporary_cleanup
  request:log trace "connection stop at " datetime " from " 
  request:log trace "connection "+id+" stop at " datetime " from " (http query "remote_ip_address")




method server start_checkup -> status
  arg_rw HttpServer server ; arg Status status
  if server:configure
    server admin_user := keyboard_input "Please enter admini
    server admin_password := keyboard_input_password "And no
  else
    var CBool ok := false
    each s site
      ok := true
    each u user
      ok := true
    each h name_database:data:host
      ok := true
    if not ok
      console "The HTTP server is not configured yet, so you
      console "The right command might be:" eol
      console "pliant module /pliant/protocol/http/server.pl
      return failure
  status := success
  plugin server_start


define_tcp_server HttpServer http_server
export http_server



define_tcp_server HttpServer http_server
export http_server



method page execute_dynamic_page pagename1 -> status
  arg_rw HtmlPage page ; arg Str pagename1 ; arg ExtendedSta
method page execute_dynamic_page path -> status
  arg_rw HtmlPage page ; arg Str path ; arg ExtendedStatus status
  var Pointer:HttpRequest request :> page:http_request
  var Pointer:HttpServer server :> request:server
  var Pointer:HttpRequest request :> page:http_request
  var Pointer:HttpServer server :> request:server
  var Str pagename filename
  if (pagename1 0 1)<>"/" and (pagename1 search ":" -1)=(-1)
    var Str path := request url_path
    path := path 0 (path search_last "/" -1)+1
    pagename := path+pagename1
  var Str path2 filename
  if (path 0 1)<>"/" and (path search ":" -1)=(-1)
    path2 := (request:path 0 (request:path search_last "/" -1)+1)+path
  else
  else
    pagename := pagename1
  if (pagename parse "pliant:" any:(var Str path))
    filename := path
  eif (pagename search ":" -1)<>(-1)
    filename := pagename
    path2 := path
  if (path2 eparse "pliant:" any:(var Str remain))
    filename := remain
  eif (path2 search ":" -1)<>(-1)
    filename := path2
  else
  else
    filename := request what_file pagename
    filename := request what_file path2
  var Str ext := filename (filename search_last "." filename:len) filename:len
  if ext=".html"
    filename := (filename 0 (filename search_last "." filename:len))+".page"
  var Link:DynamicPage dp :> server find_dynamic_page filena
  if not exists:dp
  var Link:DynamicPage dp :> server find_dynamic_page filena
  if not exists:dp
    var Str err := server compile_dynamic_page pagename file
    var Str err := server compile_dynamic_page filename
    if err=""
      dp :> server find_dynamic_page filename
    if err=""
      dp :> server find_dynamic_page filename
  var Str virtualpage := reverse pagename
  var Str rpath := reverse path2
  var Str virtualpath := ""
  var Str virtualpath := ""
  while not exists:dp and (virtualpage parse any:(var Str ex
    virtualpath := "/"+reverse:extra+virtualpath
    filename := request what_file reverse:base+"/virtual_tre
  while not exists:dp and (rpath eparse any:(var Str rextra) "/" any:(var Str rbase))
    virtualpath := "/"+reverse:rextra+virtualpath
    var Str filename := request what_file reverse:rbase+"/virtual_tree.page"
    var Link:DynamicPage dp :> server find_dynamic_page file
    if not exists:dp
    var Link:DynamicPage dp :> server find_dynamic_page file
    if not exists:dp
      if (server compile_dynamic_page pagename filename)=""
      if (server compile_dynamic_page filename)=""
        dp :> server find_dynamic_page filename
        dp :> server find_dynamic_page filename
    virtualpage := base
    rpath := rbase
  if not exists:dp or dp:function:nb_args<>1 or (dp:function
    return failure:err
  if not exists:dp or dp:function:nb_args<>1 or (dp:function
    return failure:err
  var Str memo_file_name := page file_name
  var Str memo_virtual_path := page virtual_path
  var Str memo_url_path := request url_path
  page file_name := filename
  page virtual_path := virtualpath
  request url_path := pagename
  var Str memo_path := request path ; request path := path
  var Str memo_file_name := page file_name ; page file_name := filename
  var Str memo_virtual_path := page virtual_path ; page virtual_path := virtualpath
  page execute_style_setup dp:function
  http_execute_dynamic_page page dp:function
  page execute_style_setup dp:function
  http_execute_dynamic_page page dp:function
  request path := memo_path
  page file_name := memo_file_name
  page virtual_path := memo_virtual_path
  page file_name := memo_file_name
  page virtual_path := memo_virtual_path
  request url_path := memo_url_path
  status := success

export '. temporary_cleanup'
export '. send_static_file' '. execute_dynamic_page' '. do_c
export '. find_dynamic_page'
  status := success

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