Posted on : 26-06-2008 | By : ricardodantas | In : Internet, Mobilidade
0
Acaba de ser lançado um espaço com vídeos de dicas sobre como usar o celular para as mais diversas situações.
Confira em http://youtube.com/mobiletricks .
Posted on : 20-06-2008 | By : ricardodantas | In : Desenvolvimento
0
Esta dica vai ser para um situação muito comum no dia a dia do desenvolvedor. Normalmente quando guardamos uma string de data no MySQL ela ficará com o formato YYYY-MM-DD (ano-mês-dia). Exemplo: 2007-12-26.
Muitas pessoas prefere deixar o tipo do campo como VARCHAR e guardar as datas no formato DD-MM-YYYY (dia-mês-ano) pois, por incrível que pareça não sabem fazer esta conversão de formatação. Mas agora os seus problemas acabaram!
Posted on : 03-06-2008 | By : ricardodantas | In : Desenvolvimento
0
Depois de algumas pesquisas e aperfeiçoamentos, cheguei a este script:
<?
$time_start = microtime(true);
// Sleep for a while
usleep(300);
$time_end = microtime(true);
$time = $time_end – $time_start;
$time = number_format($time, 4, ‘,’, ‘ ‘);
echo ‘Tempo de execução:’.$time.’segundos’;
?>
Observação: O uso da função number_format() foi apenas por questão de estética. Não sendo obrigatório o uso da mesma.
É uma meneira prática e rápida para descobrir o tempo de execução do seu script.