Operacje na czasie - milisekundy Opcje

[cast]

Chciałbym zrobić kilka operacji na czasie mianowicie:


Mam start zawodnika w biegu przełajowym np: 12:23:00

Czas przybycia na metę 13:28:17,45 - po przecinku milisekundy

i teraz potrzebuje obliczyć jaki miał czas dany zawodnik w milisekundach oczywiście...

Ktoś mógłby pomóc...(IMG:http://forum.php.pl/style_emoticons/default/questionmark.gif)

z góry dziękuje,

pozdrawiam,

[nasty]

[PHP] pobierz, plaintext 
<?php
$time_start = microtime(true);
// .. i tutaj zawodnik biega
$time_end = microtime(true);
$time = $time_end - $time_start;
// $time to jest jego czas w milisekundach
?>
[PHP] pobierz, plaintext 

Jak nie masz php 5 to zrob funkcje microtime recznie o tak:

[PHP] pobierz, plaintext 
<?php
function microtime_float()
{
	list($usec, $sec) = explode(" ", microtime());
	return ((float)$usec + (float)$sec);
}
?>
[PHP] pobierz, plaintext 

to przykład z manuala -- należało lepiej szukać.

[cast]

Może nie dokońca jasno sie wyraziłem wcześniej, albo nie jestem w stanie zrouzmieć twojej idei,

Mam 2 pola Input w formularzu gdzie podaje start i czas na mecie. i po wyslaniu formularza chce obliczyc roznice...

Problem jest taki :

mam czas startu 12:00:00,00 i czas przybycia na metę 13:23:23,56

Myśle zeby dokonać takiej operacji, mój czas musze przeliczyc na jakiś znacznik czasu tak jak ma to przy time()

bo nie moge zrobić: 12:00:00,00 - 13:23:23,56 = 01:23:23,56 bo wyjda jakieś bzdury

Twój przykład jest ok ale tutaj

[PHP] pobierz, plaintext 
<?php
$time_start = microtime(true);
?>
[PHP] pobierz, plaintext 

skrypt mi wstawia czas pobrany z serwera a ja mam inny czas jak widac: 12:00:00,00

[maryaan]

jakbys nei zauwazyl to jest przyklad, zamiast $time_start i $time_end musisz sobie wmontowac rzeczywisty czas startu i dobiegniecia na mete, manual naprawde nie gryzie

[cast]

Chlopaki skopiowac z manuala to ja tez potrafie, gdybym wiedzial jak to zrobic to bym glowy nie zawracal...

w Manualu pisze:

microtime -- Zwraca aktualny uniksowy znacznik czasu z mikrosekundami

Ale ja nie chce zwracac aktualnego czasu uniksowego znacznika czasu z serwera gdyz ja mam juz czas i to podany bardzo konkretnie.

Wydlug waszych wypowiedzi mam zrobic tak, jakos mam wrazenie ze to nie zadziala (IMG:http://forum.php.pl/style_emoticons/default/winksmiley.jpg) :

[PHP] pobierz, plaintext 
<?php
$time_start = '12:00:00,00';
 
// .. i tutaj zawodnik biega
 
$time_end = '13:23:45,34';
 
$time = $time_end - $time_start;
 
// $time to jest jego czas w milisekundach
?>
[PHP] pobierz, plaintext 

Poniżej moze podam przyklad jak to zrobic ale nie uwzgeldniajac milisekund:

[PHP] pobierz, plaintext 
<?php
$sTimeB = 12:00:00;
$sTimeA = 13:12:05;
 
$czas = gmstrftime("%H:%M:%S", strtotime($sTimeB) - strtotime($sTimeA);
?>
[PHP] pobierz, plaintext 

Dostaje wynik w postaci: 01:12:05

Dokladnie o to samo mi chodzi ale z uwzglednieniem milisekund...

Czy osoba ktora wie jak to zrobić mogłaby mi podać kod jak to zrobić tak jak ja podałem powyżej.

Ten post edytował cast 26.01.2007, 12:53:34

[nospor]

[PHP] pobierz, plaintext 
<?php
function toMiliS($time){
	$ar = explode(',',$time);
	return strtotime($ar[0])*1000+(!empty($ar[1]) ? (int)$ar[1] : 0);
}
 
$zm = toMiliS('12:23:00');
$zm2 = toMiliS('13:28:17,45');
echo '<br />Milis: '.($zm2-$zm);
echo '<br />Sekund: '.($zm2-$zm)/1000;
?>
[PHP] pobierz, plaintext 

edit: nie widzialem edita twojego