Wapp

Artifact [f2e6da6a2e]
Login

Artifact f2e6da6a2e8d49b1e7d67f035658f247b1ad8687f1e474f6ca61e6739a86a593:


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