索引

• curl 基础用法 再次请求之间传cookies的方法
• curl gzip curl压缩格式处理，解决一个gzip的奇怪现象
• addslashes
• post

eval 可以把一段字符串当php代码执行。

记录一下常用的函数

php执行时间：

function microtime_float()
{
   list($usec, $sec) = explode(" ", microtime());
   return ((float)$usec + (float)$sec);
}
 
//开始时间：
$time_start = microtime_float();
 
//结束时间
$time_end = microtime_float();
$needtime = round($time_end - $time_start, 3) ;

友好时间显示

//时间格式化
function sdate($dateformat, $timestamp='', $title=true) {	
	if (empty($timestamp)) {
		$timestamp = time();
	}
	$time = time() - $timestamp;
	if($time > 12*3600) {
		$result = date($dateformat, $timestamp);
	} elseif ($time > 3600) {
		$result = intval($time/3600).'小时前';
	} elseif ($time > 60) {
		$result = intval($time/60).'分钟前';
	} elseif ($time > 0) {
		$result = $time.'秒前';
	} else {
		$result = '刚刚';
	}
	if ($title) {
		$result = "<span title='". date($dateformat, $timestamp) ."'>{$result}</span>";
	}
	return $result;
}

导出数据成csv格式

sendFile($fileContent, "rs_".$project_id."_".date("Y-m-d").".csv");
 
function sendFile($fileContent, $filename, $mimeType = 'application/octet-stream')
{
	header("Content-Type: {$mimeType}");
	$filename = '"' . urlencode($filename) . '"';
	header("Content-Disposition: attachment; filename={$filename}");
	echo $fileContent;
	exit;
}

 
/**
 * 生成文件
 *
 * @param   string  $file	//文件名
 * @param   string  $str	//内容
 * @param   string  $mode   //模式
 */
function wfile($file,$str,$mode='w')
{
	if(!file_exists($file))
	{
		touch($file);
	}
 
	$oldmask = umask(0);
	$fp = fopen($file,$mode);
	flock($fp, 3);
	if(!$fp)
	{
		Return false;
	}
	else
	{
		fwrite($fp,$str);
		fclose($fp);
		umask($oldmask);
		Return true;
	}
}
 
function rfile($file)
{
	if(!file_exists($file))
	{
		return false;
	}
	return file_get_contents($file);
}

待补充

• 获取 database:mysql:start 中 database:mysql 部分， 同样如 /data/wiki/file/1.txt 中 /data/wiki/file/ ，有好的函数吗？
• 找到啦！！！ 哈哈

$p = 'database:mysql:start' ;
echo $p."<br />";
echo end(explode(":", $p));