|
@@ -0,0 +1,21 @@
|
|
|
|
|
+
|
|
|
|
|
+export ip=$1
|
|
|
|
|
+export port=$2
|
|
|
|
|
+export tmout=$3
|
|
|
|
|
+
|
|
|
|
|
+if [[ "$ip" == "" ]]; then
|
|
|
|
|
+ echo "usage: "$0" <ip> [port=80] [timeout=1]"
|
|
|
|
|
+ exit 1
|
|
|
|
|
+fi
|
|
|
|
|
+if [[ "$port" == "" ]]; then
|
|
|
|
|
+ export port=80
|
|
|
|
|
+fi
|
|
|
|
|
+if [[ "$tmout" == "" ]]; then
|
|
|
|
|
+ export tmout=1
|
|
|
|
|
+fi
|
|
|
|
|
+
|
|
|
|
|
+python -c 'import socket
|
|
|
|
|
+sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
|
|
|
|
|
+sock.settimeout('$tmout')
|
|
|
|
|
+print("ok" if sock.connect_ex(("'$ip'", '$port')) == 0 else "timeout")
|
|
|
|
|
+'
|
