# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1261049430 -3600
# Node ID 5829c7d9b8cfa713878135156920c26a96710684
# Parent  889326085343459a28627c9138f727ddd0513993
ajaxterm: add ssh port support

diff -r 889326085343 -r 5829c7d9b8cf ajaxterm/stuff/usr/share/ajaxterm/login
--- a/ajaxterm/stuff/usr/share/ajaxterm/login	Wed Dec 16 19:30:43 2009 +0000
+++ b/ajaxterm/stuff/usr/share/ajaxterm/login	Thu Dec 17 12:30:30 2009 +0100
@@ -6,6 +6,10 @@
 	read -t 300 server || exit 1
 fi
 [ -n "$server" ] || exec /bin/login
+sshport=""
+case "$server" in
+*:*)	sshport="-p ${server#*:}"; server=${server%:*};;
+esac
 case "$server" in
 *@*)	;;
 *)	echo -n "$server login: "
@@ -14,4 +18,4 @@
 esac
 sshargs="-oPreferredAuthentications=keyboard-interactive,password -oNoHostAuthenticationForLocalhost=yes -oLogLevel=FATAL -F/dev/null";
 [ -L /usr/bin/ssh ] && sshargs=""
-exec ssh $sshargs $server
+exec ssh $sshport $sshargs $server