console: use get_uint() for "head" property
authorMarc-André Lureau <marcandre.lureau@redhat.com>
Wed, 7 Jun 2017 16:36:32 +0000 (20:36 +0400)
committerMarkus Armbruster <armbru@redhat.com>
Tue, 20 Jun 2017 12:31:33 +0000 (14:31 +0200)
commitad664c1d4c731c8320fb9008125fa93069a6315f
tree099f5288339b31be879a596934af09337f898958
parent709fa704f6b142f9be3a9e33a81e6d8d4c52e2de
console: use get_uint() for "head" property

TYPE_QEMU_CONSOLE property "head" is defined with
object_property_add_uint*_ptr().

Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Message-Id: <20170607163635.17635-41-marcandre.lureau@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
ui/console.c