monitor: Rename handle_user_command() to handle_hmp_command()
authorMarkus Armbruster <armbru@redhat.com>
Fri, 6 Mar 2015 18:12:36 +0000 (19:12 +0100)
committerMarkus Armbruster <armbru@redhat.com>
Tue, 2 Jun 2015 08:07:15 +0000 (10:07 +0200)
commit7ef6cf6341c453021939c909adf2d62d9dc25fd5
tree60f413a0300a6f36b6f28df46a578c183f738391
parent710aec915d208246891b68e2ba61b54951edc508
monitor: Rename handle_user_command() to handle_hmp_command()

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