monitor: assert monitor_puts()'s loop invariant
commit517823449ebe8e3758b86c441cc74968b68e6491
authorMarkus Armbruster <armbru@redhat.com>
Thu, 10 Jan 2013 13:10:22 +0000 (10 14:10 +0100)
committerLuiz Capitulino <lcapitulino@redhat.com>
Thu, 10 Jan 2013 16:47:56 +0000 (10 14:47 -0200)
treef5308c968185dfc4d0c0f962313345925b352275
parent6ad53bdf5830bfc30221aee8d4ced9a9eaf8fe03
monitor: assert monitor_puts()'s loop invariant

Chiefly to hush up Coverity.

Signed-off-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Luiz Capitulino <lcapitulino@redhat.com>
monitor.c