HomeSoftware Heritage

rpc_server.py: terminate, then kill server on timeout

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

rpc_server.py: terminate, then kill server on timeout

Details

Provenance
seirlAuthored on Jun 30 2022, 6:53 PM
seirlPushed on Jun 30 2022, 6:59 PM
Build Status
Buildable 30181
Build 47171: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.