Patch title: Release 94 bulk changes
Abstract:
File: /pliant/language/debug/log.page
Key:
    Removed line
    Added line
module "/pliant/language/unsafe.pli"
module "/pliant/appli/database.pli"
module "/pliant/storage/database.pli"
module "log_database.pli"
module "trace.pli"

requires "browse_configuration"

title "Log administration"

read_only not allowed:"administrator"

table columns 4
  cell header [Service]
  cell header [Log file name]
  cell header [Minimum size]
  cell header [Maximum size]
  each f log_database:data:file
    cell
      text keyof:f
    cell
      input "" f:file length 30
    cell
      input "" f:mini_mb length 6 noeol ; [ MB]
    cell
      input "" f:maxi_mb length 6 noeol ; [ MB]
if allowed:"administrator"
  select "Service to log: " (var Str service) noeol
    option "" ""
    trace_slots_sem request
    var Pointer:Arrow c :> trace_slots:first
    while c<>null
      var Pointer:TraceSlot slot :> c map TraceSlot
      option slot:name slot:name
      c :> trace_slots next c
    trace_slots_sem release
  button "Create log" noeol
    log_database:data:file create service
    reload_page
  button "Delete log"
    log_database:data:file delete service
    reload_page

para
  select "Trace consumed memory: " log_database:data:memory
    option "no" "false"
    option "yes" "true"
  if allowed:"administrator"
    para
      button "Update"
        trace_memory := log_database:data:memory
        goto_backward
para
  [Please notice that the changes you specify in this table will be active only when you restart Pliant.] ; eol
  [In order to restart Pliant, select the 'Shutdown' button at the bottom of the ]
  link "status" "/pliant/fullpliant/status.html" section "actions"
  [ page.] ; eol