runs-on: ubuntu-20.04
strategy:
matrix:
- sanitizers: [ubsan+asan, tsan]
+ sanitizers: [ubsan+asan]
threads: [1, 2, 3, 4, 8, 16]
mthreads: [2048, 4096]
shards: [1, 2, 1028]
from __future__ import print_function
import os
import requests
+from requests.exceptions import HTTPError
import shutil
import subprocess
import sys
print("Waiting for webserver port to become available...")
available = False
+time.sleep(0.5)
for try_number in range(0, 10):
try:
res = requests.get('http://127.0.0.1:%s/' % WEBPORT)
available = True
break
- except:
- time.sleep(0.5)
+ except HTTPError as http_err:
+ print(f'HTTP error occurred: {http_err}')
+ except Exception as err:
+ print(f'Other error occurred: {err}')
+ time.sleep(0.5)
if not available:
print("Webserver port not reachable after 10 tries, giving up.")