Support a user-specified observatory port in CoverageCollector (#5217)
This commit is contained in:
parent
f8a80b1da6
commit
0ba0127c1a
@ -15,6 +15,7 @@ class CoverageCollector {
|
|||||||
static final CoverageCollector instance = new CoverageCollector();
|
static final CoverageCollector instance = new CoverageCollector();
|
||||||
|
|
||||||
bool enabled = false;
|
bool enabled = false;
|
||||||
|
int observatoryPort;
|
||||||
|
|
||||||
void collectCoverage({
|
void collectCoverage({
|
||||||
String host,
|
String host,
|
||||||
|
@ -114,7 +114,7 @@ void main() {
|
|||||||
|
|
||||||
int observatoryPort;
|
int observatoryPort;
|
||||||
if (CoverageCollector.instance.enabled) {
|
if (CoverageCollector.instance.enabled) {
|
||||||
observatoryPort = new math.Random().nextInt(30000) + 2000;
|
observatoryPort = CoverageCollector.instance.observatoryPort ?? new math.Random().nextInt(30000) + 2000;
|
||||||
await CoverageCollector.instance.finishPendingJobs();
|
await CoverageCollector.instance.finishPendingJobs();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user