Revision d819aba6
| ID | d819aba6fef38bbed4875b1cb3d3e35deb8dbc2d |
| Parent | be7531a9 |
| Child | 2886c58d |
Make the duration field optional null-serialized
The time in SetWatcherPause is optional (with Nothing meaning
that the pause should be canceled), but the serialization is
not that of a Maybe Double; instead Just values serialize as
they are and Nothing serializes to null. Fortunately, we already
have a field modifier for this. So use it.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Michele Tartara <mtartara@google.com>
Files
- added
- modified
- copied
- renamed
- deleted