Changeset fbcf38a in tol

Timestamp:

Dec 16, 2009, 7:31:47 PM (17 years ago)

Author:

Jorge Pérez <josp.jorge@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

7954da1

Parents:

38eea65

Message:

refs #817 : new option -tolversion indicate the version of tol required

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@1838 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tolsh/tolsh.vfs/lib/app-tolsh/tolsh.tcl (modified) (5 diffs)

tolsh/tolsh.vfs/lib/app-tolsh/tolsh.tcl

@@ -36 +36 @@
   set options(out,enabled) no
   set options(runmode) ""
+  set options(tolversion) ""
 }
 
@@ -60 +61 @@
 #    -e?n?    --> use english language
 #    -s?p?    --> use spanish language
-#    -server [port] --> start tol as a server tolsvc.<pid>.log will be the log
+#    -tolversion ver --> specify an strict tol version to start with
+#    -server [port]  --> start tol as a server tolsvc.<pid>.log will be the log
 #             [port] is the port number where the serve will be listening.
 #
@@ -133 +135 @@
         }
         set options(runmode) "interactive"
+      } elseif {$opt eq "tolversion"} {
+        incr i 
+        set options(tolversion) [lindex $cmdline $i]
       } elseif {$opt eq "server"} {
         # check if next argument is the port number
@@ -216 +221 @@
     -e?n?    --> use english language
     -s?p?    --> use spanish language
-   -server [port] --> start tol as a server tolsvc.<pid>.log will be the log
-           [port] is the port number where the serve will be listening.
+    -tolversion --> specify an strict tol version to start with
+    -server [port] --> start tol as a server tolsvc.<pid>.log will be the log
+            [port] is the port number where the serve will be listening.
  
   Multiple verbose mode is accepted in one option, for instance,
@@ -329 +335 @@
   # Load Toltcl (+tol)
   #
-  package require -exact Toltcl 2.0.1
+  if { $options(tolversion) eq "" } {
+    puts "Loading default tol version : [ package require Toltcl ]"
+  } else {
+    puts "Loading requested tol version : $options(tolversion)"
+    package require -exact Toltcl $options(tolversion)
+  }
 
   logtmp "after require Toltcl"