From 14da78f9f1bdbb52e898bc390cfaeddca8804404 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Andr=C3=A9?= <m.andre@redhat.com>
Date: Wed, 16 Mar 2016 08:38:31 +0900
Subject: [PATCH] Fix host_manager plugin for vagrant virtualbox

There is no such thing as virtualbox_{ubuntu,centos} but only
a virtualbox provider. The code to retrieve the VM's IP address was
never executed and broke host_manager plugin.

TrivialFix

Change-Id: I0ffacf0bd5d2856264247b23e3b3e918836988e3
---
 dev/vagrant/Vagrantfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/dev/vagrant/Vagrantfile b/dev/vagrant/Vagrantfile
index 6ade605fb2..1daa8f2ab4 100644
--- a/dev/vagrant/Vagrantfile
+++ b/dev/vagrant/Vagrantfile
@@ -149,8 +149,7 @@ Vagrant.configure(2) do |config|
       if vm.name
         `python newest_dhcp_lease.py #{vm.name}`.chop
       end
-    when "virtualbox_ubuntu"
-    when "virtualbox_centos"
+    when "virtualbox"
       if vm.id
         `VBoxManage guestproperty get #{vm.id} "/VirtualBox/GuestInfo/Net/1/V4/IP"`.split()[1]
       end