(options, platform, exe_suffix)
| 314 | file]) |
| 315 | |
| 316 | def launcher_path(options, platform, exe_suffix): |
| 317 | if options.launcher: |
| 318 | return options.launcher |
| 319 | elif options.engine_sha1: |
| 320 | launcher_version = options.engine_sha1 |
| 321 | launcher_url = 'https://%s/archive/%s/engine/%s/launcher%s' % (options.archive_domain, launcher_version, platform, exe_suffix) |
| 322 | launcher = download("Launcher", launcher_url) |
| 323 | return launcher |
| 324 | else: |
| 325 | return path.join(os.environ['DYNAMO_HOME'], "bin", platform, "launcher%s" % exe_suffix) |
| 326 | |
| 327 | def full_jdk_url(platform): |
| 328 | jdk_platform = platform_to_java.get(platform) |
no test coverage detected