HomeSoftware Heritage

Add support for non-string options when scheduling tasks.

Description

Add support for non-string options when scheduling tasks.

This also fixes the pretty-printing of tasks, which was ambiguous
(42 and "42" where both printed as 42).

Details

Provenance
vlorentzAuthored on Mar 13 2019, 9:57 AM
vlorentzPushed on Mar 13 2019, 9:57 AM
Differential Revision
D1195: Add support for non-string options when scheduling tasks.
Parents
rDSCHb0aea8c0fd05: tests: enforce LC_ALL since test_cli depends on it
Branches
Unknown
Tags
Unknown
Build Status
Buildable 4614
Build 6121: test-and-build