/dev/null', $timeoutSec, escapeshellarg($ip)), $output, $exitCode); return $exitCode === 0; } }