需要使用 PHP ping 跟踪 PC 停机时间并显示停机时间 D:HH:MM

Need to track PC down times using PHP ping and display time down D:HH:MM

我目前有这段代码,它作为一个 ph 运行,可以让我知道电脑是否正在 ping:

    <!DOCTYPE html>
<html>
<head>
<meta http-equiv="refresh" content="30">
</head>
<body>

<h1>PC Test Ping Status</h1>

<?php
$host="10.161.10.98";
exec("ping -c 2 " . $host, $output, $result);
if ($result == 0)
echo "<p>p2 On-Line</p>";
else
echo "<p>p2 Off-Line !</p>";

$host="10.161.10.125";
exec("ping -c 2 " . $host, $output, $result);
if ($result == 0)
echo "<p>p3 On-Line</p>";
else
echo "<p>p3 Off-Line!</p>";

?> 


</body>
</html>

如果电脑没有 ping,我想跟踪自上次成功 ping 以来的时间。

这是一个根据要求使用文本文件的示例。一些注意事项:

  1. 为简单起见,我建议使用 CURL 而不是 exec,因为它应该更快、更可靠。这将检查 HTTP 状态代码“200”,这意味着它返回了一个有效的请求。
  2. 您需要确保您的文本 file/s 具有适当的读写权限。
  3. 我已更新此答案以同时解决

此示例中的初始文本文件名为 data.txt 并包含以下内容:

p1|google.com|
p2|yahoo.com|
p2|amazon.com|

以下代码将循环遍历列表中的每个服务器,如果在线则用最新日期更新记录。

<!DOCTYPE html>
<html>
<head>
<meta http-equiv="refresh" content="30">
</head>
<body>

<h1>PC Test Ping Status</h1>

<?php

function ping($addr) {
    $ch = curl_init($addr);
    curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, 10);
    curl_setopt($ch, CURLOPT_TIMEOUT, 10);
    curl_setopt($ch, CURLOPT_HEADER, true);
    curl_setopt($ch, CURLOPT_NOBODY, true);
    curl_setopt($ch, CURLOPT_FOLLOWLOCATION, true);
    curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);

    //get response code
    curl_exec($ch);
    $code = curl_getinfo($ch, CURLINFO_HTTP_CODE);
    curl_close($ch);

    if ($code === 200) {
        return true;
    }

    return false;
}

$file = 'data.txt';
$servers = array_filter(explode("\n", file_get_contents($file)));
foreach ($servers as $key => $server) {
    list($sname, $saddr, $suptime) = explode('|', $server);
    if (ping($saddr)) {
        echo "<p>$sname is online</p>";
        $date = new DateTime();
        $suptime = $date->format('Y-m-d H:i:s');
    } else {
        echo "<p>$sname is offline since: ";
        if (trim($suptime) !== '') {
            echo $suptime . '</p>';
        } else {
            echo 'unknown</p>';
        }
    }
    $servers[$key] = implode('|', array($sname, $saddr, $suptime)) . "\n";
}
file_put_contents($file, $servers);

?> 


</body>
</html>