Diff
Not logged in

Differences From Artifact [b9b96e7274]:

To Artifact [2454d82a5a]:


1136
1137
1138
1139
1140
1141
1142






1143
1144
1145
1146
1147
1148
1149
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