rpc_server.py: terminate, then kill server on timeout
Description
Description
Details
Details
- Provenance
seirl Authored on Jun 30 2022, 6:53 PM seirl Pushed on Jun 30 2022, 6:59 PM - Parents
- rDGRPHf2f9e8ba69ef: DumpProperties: fix output for tag names
- Branches
- Unknown
- Tags
- Build Status
Buildable 30181 Build 47171: test-and-build Jenkins console · Jenkins