Use stored SSH port number for syncing

Resolves: #8

Author: Thomas Pike

scripts/sync.php

@@ -264,7 +264,7 @@ function sync_server($id, $only_username = null, $preview = false) {
 $attempts = array('keys-sync', 'root');
 foreach($attempts as $attempt) {
 try {
-$connection = ssh2_connect($hostname, 22);
+$connection = ssh2_connect($hostname, $server->port);
 } catch(ErrorException $e) {
 echo date('c')." {$hostname}: Failed to connect.\n";
 $server->sync_report('sync failure', 'SSH connection failed');