Page MenuHomeSoftware Heritage

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

Authored by douardda on Jan 9 2019, 6:59 PM.

Details

Summary

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

depends on D887

Diff Detail

Repository
rDSCH Scheduling utilities
Branch
wip
Lint
Lint Skipped
Unit
Unit Tests Skipped
Build Status
Buildable 3361
Build 4335: tox-on-jenkinsJenkins
Build 4334: arc lint + arc unit

Event Timeline

This revision is now accepted and ready to land.Jan 10 2019, 1:06 AM
This revision was automatically updated to reflect the committed changes.