|
@@ -1,6 +1,7 @@
|
|
|
<?php
|
|
<?php
|
|
|
|
|
|
|
|
function pingServer($hostname, $port) {
|
|
function pingServer($hostname, $port) {
|
|
|
|
|
+ error_log("trace: pinging " .$hostname .':' .$port);
|
|
|
$sock = socket_create(AF_INET, SOCK_STREAM, getprotobyname("tcp"));
|
|
$sock = socket_create(AF_INET, SOCK_STREAM, getprotobyname("tcp"));
|
|
|
if (!$sock)
|
|
if (!$sock)
|
|
|
return false;
|
|
return false;
|
|
@@ -100,6 +101,7 @@ if (isset($_GET["command"])) {
|
|
|
} else {
|
|
} else {
|
|
|
error_log("Cannot open upload dir for cleaning");
|
|
error_log("Cannot open upload dir for cleaning");
|
|
|
}
|
|
}
|
|
|
|
|
+ error_log("Done cleaning up files");
|
|
|
|
|
|
|
|
// Ping servers
|
|
// Ping servers
|
|
|
$result = [];
|
|
$result = [];
|