1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
|
if {[string length $directory] > 0} then {
lappend platforms $directory
}
}
}
}
return [lsort -unique $platforms]
}
#
# NOTE: This procedure downloads a single file from the package file server,
# writing its contents to the specified local file name. It can also
|
>
>
>
>
>
>
|
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
|
if {[string length $directory] > 0} then {
lappend platforms $directory
}
}
}
}
if {[isEagle]} then {
file delete -recursive -- $temporaryDirectory
} else {
file delete -force -- $temporaryDirectory
}
return [lsort -unique $platforms]
}
#
# NOTE: This procedure downloads a single file from the package file server,
# writing its contents to the specified local file name. It can also
|