438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
|
exit
}
}
proc optValidatePlugin {opt arg} {
# We must start up completely to check a plugin
Init
set res [LocatePlugin $arg]
set src [dict get $res src]
if {$src eq ""} {
puts "Bad plugin: $arg"
printPlugins
exit
}
# Look for declarations of command line options
foreach {name flag doc} [dict get $res opts] {
|
|
|
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
|
exit
}
}
proc optValidatePlugin {opt arg} {
# We must start up completely to check a plugin
Init
set res [LocatePlugin $arg]
set src [dict get $res file]
if {$src eq ""} {
puts "Bad plugin: $arg"
printPlugins
exit
}
# Look for declarations of command line options
foreach {name flag doc} [dict get $res opts] {
|