2
# Load environment variables
7
if { [file exists "deja-$tool.tcl"] } {
8
source "deja-$tool.tcl"
13
if { ![info exists WORKGROUP] } {
14
error "\$WORKGROUP not set in config file"
17
if { ![info exists PDC] } {
18
error "\$PDC not set in config file"