HomeSoftware Heritage

server: rename SwhId to SwhPID

Description

server: rename SwhId to SwhPID

More consistent with the documentation and the rest of the code.

Details

Provenance
haltodeAuthored on Aug 12 2019, 10:50 AM
haltodePushed on Aug 12 2019, 11:52 AM
Differential Revision
D1842: Rename SwhId to SwhPID
Parents
rDGRPH1fd382b69889: client: tests: update to new JSON return format
Branches
Unknown
Tags
Unknown
Build Status
Buildable 7224
Build 10202: test-and-buildJenkins