« Previous | Next » 

Revision d819aba6

IDd819aba6fef38bbed4875b1cb3d3e35deb8dbc2d
Parent be7531a9
Child 2886c58d

Added by Klaus Aehlig about 7 years ago

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 <>
Reviewed-by: Michele Tartara <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences