Wapp

Artifact [717fa080f2]
Login

Artifact 717fa080f2dbde9a70d7440707b877e335fa318d21de61cd6d596e7093e2ea0b:


# This script runs to initialize wapptclsh.
#
proc initialize_wapptclsh {} {
  global argv main_script
  if {[llength $argv]==0} return
  set script [lindex $argv 0]
  if {[file readable $script]} {
    set fd [open $script rb]
    set main_script [read $fd]
    close $fd
    set argv [lrange $argv 1 end]
  }
}
initialize_wapptclsh