NULL,'username'=>"Visitor"); redis_set_json($token, $user,0); } else $token=$_COOKIE['MYSID']; if (isset($_POST['username']) and isset($_POST['password'])) return authorize($_POST['username'],$_POST['password'],$token); else return authorize(NULL,NULL,$token); } function authorize($username,$password, $token) { if ($username!=NULL and $password!=NULL) { if ($username=="kalkos" and $password=="qwerty") $user=array('id'=>333,'username'=>$username); else $user=array('id'=>NULL,'username'=>"Visitor"); redis_set_json($token,$user,"0"); return $user; } else return redis_get_json($token); } function logout($user) { $token=$_COOKIE['MYSID']; $user=array('id'=>NULL,'username'=>"Visitor"); redis_set_json($token,$user,"0"); return $user; } function redis_set_json($key, $val, $expire) { $redisClient = new Redis(); $redisClient->connect( '127.0.0.1', 6379 ); $value=json_encode($val); if ($expire > 0) $redisClient->setex($key, $expire, $value ); else $redisClient->set($key, $value); $redisClient->close(); } function redis_get_json($key) { $redisClient = new Redis(); $redisClient->connect( '127.0.0.1', 6379 ); $ret=json_decode($redisClient->get($key),true); $redisClient->close(); return $ret; } function show_menu($user) { echo ' '; } ?>