Home
Software Heritage
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Scheduling utilities
20be147fb9b5
Kill swh.scheduler.api.server.launch()
20be147fb9b5
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
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()
Parents
rDSCH5c02d5165208: Add a logging statement in the runner cli command
Branches
Unknown
Tags
Unknown
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
2019-01-10 15:43:40 (UTC+1)
Harbormaster
completed building
B3370: rDSCH20be147fb9b5: Kill swh.scheduler.api.server.launch()
.
Jan 10 2019, 4:18 PM
2019-01-10 16:18:36 (UTC+1)