mirror_php/deployer
1
0
Fork 0
mirror of https://github.com/deployphp/deployer.git synced 2025-02-24 09:12:51 +01:00
Code Issues Projects Releases Wiki Activity

Add port to sshOptions

Browse Source
This commit is contained in:
Anton Medvedev 2017-04-10 21:04:42 +07:00
parent 210b899928
commit 280506bd66
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Host/Host.php
View File

@ -41,6 +41,10 @@ class Host
{
$options = '';
if ($this->port) {
$options .= " -p {$this->port}";
}
if ($this->configFile) {
$options .= " -F {$this->configFile}";
}