String handling - how to separate decimal number of text in the string?

Question

The algorithm below a ping on the host and does all the processing until you get the specific part I want that is the ping rate value

<?php
$host = 'www.google.com';
$execPing = shell_exec('ping -c 1 ' . $host);
$vetExpl = explode("\n", $execPing);
$locStr = array_keys(preg_grep('/icmp_seq/', $vetExpl))[0];
$dadosVet = array_slice($vetExpl, $locStr, -5);
foreach ($dadosVet as $vetLinha) {
  $strVetor = explode(' ', $vetLinha);
  $tempo = preg_grep('/time=/', $strVetor);
  echo "<pre>";
  var_dump($tempo);
}
?>

What happens is that the variable $tempo, which contains the value of the fee, prints part text and part number. ex below:

array(1) {
  [7]=>
  string(9) "time=69.7"
}

What I want is to take only the numbers with the decimal, in this case the 69.7

I have tested with several examples and I cannot separate the decimal number from the text

---

I cannot use Indice, the position changes as the IP address changes using the address www google com br, it brings me the rate at position 7 using address inside the network, it brings me the rate at position 6

Answer 1

Just use the function explodes as below. Note that an array has been returned, so you know the position you need to recover. I hope I’ve helped.

<?php
$host = '192.168.0.24';
$execPing = shell_exec('ping -c 1 ' . $host);
$vetExpl = explode("\n", $execPing);
$locStr = array_keys(preg_grep('/icmp_seq/', $vetExpl))[0];
$dadosVet = array_slice($vetExpl, $locStr, -5);
foreach ($dadosVet as $vetLinha) {
  $strVetor = explode(' ', $vetLinha);
  for($i=0; $i<sizeof($strVetor); $i++){
     if(preg_match("/time/", $strVetor[$i])){
        $tempo = explode("time=", $strVetor[6]);
        echo "\n";
        echo "Tempo: " . $tempo[1];
        echo "\n";
        echo " ";
     }
  }
}
?>

Upshot:

root@79bbb258c614:/var/www/teste# php Lala.php

Time: 0.869
root@79bbb258c614:/var/www/test#

There may be a difference in the index of your array, depending on the version of your ping. Then, test the index and you can find it right. give a var_dump on $strVetor and see what index you need.

Answer 2

That’s how it works

<?php
$host = 'localhost';
$execPing = shell_exec('ping -c 1 ' . $host);
$vetExpl = explode("\n", $execPing);
$locStr = array_keys(preg_grep('/time=/', $vetExpl))[0];
$dadosVet = array_slice($vetExpl, $locStr, -5);
foreach ($dadosVet as $vetLinha) {
  $strVetor = explode(' ', $vetLinha);
  $tempo = preg_grep('/time=/', $strVetor);
  $str = implode('',$tempo);
  $taxa = substr($str, 5);
}
echo "<pre>";
print_r($tempo);
print_r($taxa);
?>