From ce4f844e9f0e22b2908acdb2c2f9e27a33fe5dd6 Mon Sep 17 00:00:00 2001
From: "Alexander A. Klimov" <alexander.klimov@netways.de>
Date: Fri, 26 Feb 2016 14:01:15 +0100
Subject: [PATCH] Vagrant: forward port 8443 -> 443

refs #11238
---
 Vagrantfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 7a966a0e4..b17c2dcc2 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -18,6 +18,8 @@ end
 Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   config.vm.network "forwarded_port", guest: 80, host: 8080,
     auto_correct: true
+  config.vm.network "forwarded_port", guest: 443, host: 8443,
+    auto_correct: true
 
   config.vm.provision :shell, :path => ".puppet/manifests/puppet.sh"