linux signal 处理

1，字符串与时间：

例如

$time = strtotime("2007-3-5");

echo date("Y-m-d H:i:s",$time);

2,当前时间：
echo date("Y-m-d H:i:s");

或者 $time = time();

echo date("Y-m-d H:i:s",$time);

原文：http://www.cnblogs.com/zfyouxi/p/3772013.html