From 085fc45f5bf505e6a5806d2fa1df458ea38165ab Mon Sep 17 00:00:00 2001
From: Nikola Stojiljkovic <xection@gmail.com>
Date: Thu, 19 Sep 2019 10:31:28 +0200
Subject: [PATCH] Add support for specifying custom SSH port of a managed
 server

---
 CHANGELOG.md                            | 2 +-
 lib/vagrant-managed-servers/provider.rb | 6 ++++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b2a3812..c326a07 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,7 +3,7 @@
 
 ## 0.9.0 (unreleased)
 
-* ...
+* add support for specifying custom SSH port of a managed server
 
 ## 0.8.0 (released 2016-11-04)
 
diff --git a/lib/vagrant-managed-servers/provider.rb b/lib/vagrant-managed-servers/provider.rb
index 127adfc..8822d48 100644
--- a/lib/vagrant-managed-servers/provider.rb
+++ b/lib/vagrant-managed-servers/provider.rb
@@ -1,5 +1,6 @@
 require "log4r"
 require "vagrant"
+require "uri"
 
 module VagrantPlugins
   module ManagedServers
@@ -19,9 +20,10 @@ def action(name)
 
       # Returns the SSH info for accessing the managed server.
       def ssh_info
+        uri = URI("ssh://#{@machine.provider_config.server}")
         return {
-          :host => @machine.provider_config.server,
-          :port => 22
+          :host => uri.hostname,
+          :port => uri.port || 22
         }
       end