|
@@ -73,7 +73,7 @@ class Standalone:
|
|
|
|
|
|
|
|
self.tempDir = Filename.temporary("", self.basename, "") + "/"
|
|
self.tempDir = Filename.temporary("", self.basename, "") + "/"
|
|
|
self.tempDir.makeDir()
|
|
self.tempDir.makeDir()
|
|
|
- self.host = HostInfo(PandaSystem.getPackageHostUrl(), appRunner = appRunner, hostDir = self.tempDir, asMirror = False)
|
|
|
|
|
|
|
+ self.host = HostInfo(PandaSystem.getPackageHostUrl(), appRunner = appRunner, hostDir = self.tempDir, asMirror = False, perPlatform = True)
|
|
|
|
|
|
|
|
self.http = HTTPClient.getGlobalPtr()
|
|
self.http = HTTPClient.getGlobalPtr()
|
|
|
if not self.host.hasContentsFile:
|
|
if not self.host.hasContentsFile:
|
|
@@ -233,7 +233,7 @@ class PackageTree:
|
|
|
if hostUrl in self.hosts:
|
|
if hostUrl in self.hosts:
|
|
|
return self.hosts[hostUrl]
|
|
return self.hosts[hostUrl]
|
|
|
|
|
|
|
|
- host = HostInfo(hostUrl, appRunner = appRunner, hostDir = self.hostDir, asMirror = False)
|
|
|
|
|
|
|
+ host = HostInfo(hostUrl, appRunner = appRunner, hostDir = self.hostDir, asMirror = False, perPlatform = True)
|
|
|
if not host.hasContentsFile:
|
|
if not host.hasContentsFile:
|
|
|
if not host.readContentsFile():
|
|
if not host.readContentsFile():
|
|
|
if not host.downloadContentsFile(self.http):
|
|
if not host.downloadContentsFile(self.http):
|