Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormichael-grunder <michael-grunder@github.com>2012-02-28 02:04:53 +0400
committermichael-grunder <michael-grunder@github.com>2012-02-28 02:04:53 +0400
commit2544afb1fca1e1b270ac5c54055b7c415ca008b2 (patch)
tree079b9ca53d101f175bf3e7c36452533bdee158f0 /php_redis.h
parent732a42f012410211f6a8d95075293528b41a0c86 (diff)
Move latent DISCARD into stuff into a proper __destruct(or)
Diffstat (limited to 'php_redis.h')
-rwxr-xr-xphp_redis.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/php_redis.h b/php_redis.h
index b5620df8..f0b02ae7 100755
--- a/php_redis.h
+++ b/php_redis.h
@@ -24,6 +24,7 @@
#define PHP_REDIS_H
PHP_METHOD(Redis, __construct);
+PHP_METHOD(Redis, __destruct);
PHP_METHOD(Redis, connect);
PHP_METHOD(Redis, pconnect);
PHP_METHOD(Redis, close);