Diffusion Scheduling utilities 20be147fb9b5

Kill swh.scheduler.api.server.launch()
20be147fb9b5
Actions

Tags

None

Subscribers

None

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

Description

Kill swh.scheduler.api.server.launch()

in favor of the 'swh-scheduler api-server' command.

Details

Provenance

douardda	Authored on Jan 9 2019, 5:37 PM
douardda	Pushed on Jan 10 2019, 3:53 PM

Differential Revision

D907: Kill swh.scheduler.api.server.launch()

Build Status

Buildable 3370
Build 4345: test-and-build

Event Timeline

douardda committed rDSCH20be147fb9b5: Kill swh.scheduler.api.server.launch() (authored by douardda).Jan 10 2019, 3:43 PM

Harbormaster completed building B3370: rDSCH20be147fb9b5: Kill swh.scheduler.api.server.launch().Jan 10 2019, 4:18 PM

Commit No Longer Exists

This commit no longer exists in the repository.