Patch title: Release 93 bulk changes
Abstract:
File: /fullpliant/reconfigure.page
Key:
    Removed line
    Added line
module "/pliant/fullpliant/this_computer.pli"
module "/pliant/fullpliant/embedded/configure.pli"
module "/pliant/fullpliant/embedded/boot.pli"
module "/pliant/fullpliant/embedded/command.pli"
module "/pliant/linux/schedule/process.pli"
module "/pliant/language/stream/filesystembase.pli"
module "/pliant/language/stream/multi.pli"


title "FullPliant online reconfiguration"

para
  var Str screen_x := this_computer:env:"hardware":"screen":"horizontal_resolution"
  select "Screen: " screen_x
    option "" ""
    option "1024x768" "1024"
    option "1280x1024" "1280" 
    option "1600x1200" "1600" 

for (var Int lap) 0 1
  page button "reconfigure "+(shunt lap=0 "on reboot" "at once") noeol
    if lap=1
      process_kill "XFree86" ""
      sleep 2
    var (Data Set:Str) screen :> this_computer:env:"hardware" "screen"
    if screen_x="1024"
      screen "constructor" := "unknown"
      screen "model" := "generic_1024x768"
      screen "horizontal_resolution" := "1024"
      screen "vertical_resolution" := "768"
      screen "horizontal_frequency" := "31.5-65"
      screen "vertical_frequency" := "50-100"
    eif screen_x="1280"
      screen "constructor" := "unknown"
      screen "model" := "generic_1280x1024"
      screen "horizontal_resolution" := "1280"
      screen "vertical_resolution" := "1024"
      screen "horizontal_frequency" := "31.5-85"
      screen "vertical_frequency" := "50-100"
    eif screen_x="1600"
      screen "constructor" := "unknown"
      screen "model" := "generic_1600x1200"
      screen "horizontal_resolution" := "1600"
      screen "vertical_resolution" := "1200"
      screen "horizontal_frequency" := "30-107"
      screen "vertical_frequency" := "48-120"
    if lap=0
      [Done.]
    else
      pliant_multi_file_system mount "target:/" "embedded:/" pliant_default_file_system
      embedded_configure this_computer false
      pliant_multi_file_system dismount "target:/"
      embedded_boot2 this_computer
      sleep 5
      embedded_command "xsetroot -solid #407060" ""
      embedded_command "/usr/lib/mozilla/mozilla-bin" "user [dq]me[dq] detached"