Diffusion Compressed graph representation c5b0a152b78a

java: GenDistribution: shutdown service pool when all the threads are done
c5b0a152b78a
Actions

Tags

None

Subscribers

None

Description

java: GenDistribution: shutdown service pool when all the threads are done

Details

Provenance

seirl	Authored on May 29 2020, 2:29 PM
seirl	Pushed on May 29 2020, 2:29 PM

Parents

rDGRPH17bfcd22007e: git2graph: use SWHID instead of PID in doc and coding conventions

Branches

Unknown

Tags

Unknown

Build Status

Buildable 12551
Build 19063: test-and-build	Jenkins console · Jenkins

Event Timeline

seirl committed rDGRPHc5b0a152b78a: java: GenDistribution: shutdown service pool when all the threads are done (authored by seirl).May 29 2020, 2:29 PM

Harbormaster failed to build B12551: rDGRPHc5b0a152b78a: java: GenDistribution: shutdown service pool when all the threads are done!May 29 2020, 2:31 PM

Changes (1)

Path

Size

java/

src/

main/

java/

org/

softwareheritage/

graph/

benchmark/

GenDistribution.java

rDGRPHc5b0a152b78a

java/src/main/java/org/softwareheritage/graph/benchmark/GenDistribution.java

Loading...