From 86cb627fd2fdddfc25b673a8a7a91ebac1aab4ee Mon Sep 17 00:00:00 2001
From: Tomasz Tarczynski <ttarczynski@users.noreply.github.com>
Date: Mon, 19 Feb 2018 11:02:58 +0100
Subject: [PATCH] fix for a Vagrant bug:
 https://github.com/hashicorp/vagrant/issues/9442

	modified:   Vagrantfile
---
 Vagrantfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 2592626..e2d1b2b 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -1,6 +1,9 @@
 # -*- mode: ruby -*-
 # vi: set ft=ruby :
 
+# fix for a Vagrant bug: https://github.com/hashicorp/vagrant/issues/9442
+Vagrant::DEFAULT_SERVER_URL.replace('https://vagrantcloud.com')
+
 Vagrant.configure("2") do |config|
   config.vm.box = "centos/7"