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

          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