|
{
|
|
"options": {
|
|
"failByDrop": false
|
|
},
|
|
"outdir": "./target/reports/servers",
|
|
"servers": [
|
|
{
|
|
"agent": "Jetty-10.0.0-SNAPSHOT",
|
|
"url": "ws://127.0.0.1:9001",
|
|
"options": {
|
|
"version": 18
|
|
}
|
|
}
|
|
],
|
|
"cases": ["*"],
|
|
"exclude-cases": [],
|
|
"exclude-agent-cases": {}
|
|
}
|