修改php配置文件(php.ini)中的session.gc_maxlifetime。
概述:每一次php请求,会有1/100的概率(默认值)触发“session回收”。如果“session回收”发生,那就会检查/tmp/sess_*的文件,如果最后的修改时间到现在超过了1440秒(gc_maxlifetime的值),就将其删除,意味着这些session过期失效。
修改php配置文件(php.ini)中的session.gc_maxlifetime。
概述:每一次php请求,会有1/100的概率(默认值)触发“session回收”。如果“session回收”发生,那就会检查/tmp/sess_*的文件,如果最后的修改时间到现在超过了1440秒(gc_maxlifetime的值),就将其删除,意味着这些session过期失效。
jquery.chosen.js 查询时,chosen默认从第一个字符搜索,所以写中间的字符搜索时,是搜索不出来的。
以margin为例,padding同理
区别:
联系:
dataframe由多个series组成,无论是行还是列,单独拆分出来都是一个series。
MySQL可以通过field()函数自定义排序,格式:field(value,str1,str2,str3,str4),value与str1、str2、str3、str4比较,返回1、2、3、 4,如遇到null或者不在列表中的数据则返回0。
在php5.0及以上版本中提供了json_encode, json_decode方法。在使用json_encode变量的时候,如果变量里含有中文的话,会将中文转为unicode格式。所以在想是否可以通过 json_decode将unicode转为中文呢?实际测试发现是可以的,但对单一的字符串发现有些问题。
对于简单的字符串,发现有时候使用json_decode转的化,结果直接为空了。但将字符串替换为数组然后在转就可以了。下面就有了下面封装的代 码。
function unicode2utf8($str) { if (!$str) return $str; $decode = json_decode($str); if ($decode) return $decode; $str = '["' . $str . '"]'; $decode = json_decode($str); if (count($decode) == 1) { return $decode[0]; } return $str; }
使用这个方法可以很好的将unicode编码转为utf-8编码。
MySQL收藏
1、从服务器下载文件
scp username@servername:/path/filename /tmp/local_destination