Skip to content

Commit b230293

Browse files
authored
Merge pull request diffblue#144 from diffblue/marek/travis_tomcat_download_update_PR
Update of URL to a ZIP package containing Tomcat 9.
2 parents 78d663a + 65c3f3d commit b230293

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

benchmarks/evaluator.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ def __benchmark_installer_libraries():
2424
os.makedirs(temp_dir)
2525
downloaded_zip_pathname = os.path.join(temp_dir, "__tomcat9__.zip")
2626
urllib.URLopener().retrieve(
27-
"http://mirrors.ukfast.co.uk/sites/ftp.apache.org/tomcat/tomcat-9/v9.0.0.M20/bin/apache-tomcat-9.0.0.M20.zip",
27+
"http://mirror.vorboss.net/apache/tomcat/tomcat-9/v9.0.0.M21/bin/apache-tomcat-9.0.0.M21.zip",
2828
downloaded_zip_pathname
2929
)
3030
with zipfile.ZipFile(downloaded_zip_pathname, 'r') as zip_file:

0 commit comments

Comments
 (0)