From 3c532fff159c426322fc0c2df97f8829a5410eea Mon Sep 17 00:00:00 2001
From: Perttu Ahola <celeron55@gmail.com>
Date: Sat, 18 Jun 2011 21:37:08 +0300
Subject: [PATCH] lol, i have apparently used python too much...
---
doc/protocol.txt | 2 ++
1 file changed, 2 insertions(+)
diff --git a/doc/protocol.txt b/doc/protocol.txt
index a9706f839..da2d3394f 100644
--- a/doc/protocol.txt
+++ b/doc/protocol.txt
@@ -48,6 +48,7 @@ Initialization:
# host: ip of server (use gethostbyname(hostname) to get from a dns name)
# port: port of server
function check_if_minetestserver_up($host, $port)
+{
$socket = socket_create(AF_INET, SOCK_DGRAM, SOL_UDP);
$timeout = array("sec" => 1, "usec" => 0);
socket_set_option($socket, SOL_SOCKET, SO_RCVTIMEO, $timeout);
@@ -67,4 +68,5 @@ function check_if_minetestserver_up($host, $port)
return true;
}
return false;
+}
--
GitLab