php 连接redis

<?php
//Connecting to Redis server on localhost
$redis = new Redis();
$redis->connect('127.0.0.1', 6379);
echo "Connection to server sucessfully";
//check whether server is running or not
echo "Server is running: "+ $redis->ping();
?>

在推荐一个文库的网站http://wenku.baidu.com/link?url=qF6Vvxsjp6j0nnJGIKRy_wjFF0Ys6UHJJUpcO5gD25AnWekPkj0ln7NWLomUUOAhVz1JPR0N_sK9ya-jzx1TcCRpdSCWUFwX9ZNNu-vIeee