| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263 | <?php namespace System\Cache;class File implements Driver {	/**	 * Determine if an item exists in the cache.	 *	 * @param  string  $key	 * @return bool	 */	public function has($key)	{		return ( ! is_null($this->get($key)));	}	/**	 * Get an item from the cache.	 *	 * @param  string  $key	 * @param  mixed   $default	 * @return mixed	 */		public function get($key)	{		if ( ! file_exists(CACHE_PATH.$key))		{			return null;		}		$cache = file_get_contents(CACHE_PATH.$key);		// The cache expiration date is stored as a UNIX timestamp at the beginning		// of the cache file. We'll extract it out and check it here.		if (time() >= substr($cache, 0, 10)) return $this->forget($key);		return unserialize(substr($cache, 10));	}	/**	 * Write an item to the cache.	 *	 * @param  string  $key	 * @param  mixed   $value	 * @param  int     $minutes	 * @return void	 */	public function put($key, $value, $minutes)	{		file_put_contents(CACHE_PATH.$key, (time() + ($minutes * 60)).serialize($value), LOCK_EX);	}	/**	 * Delete an item from the cache.	 *	 * @param  string  $key	 * @return void	 */	public function forget($key)	{		@unlink(CACHE_PATH.$key);	}}
 |