Add used allocator in redis-server -v output.

diff --git a/src/redis.c b/src/redis.c
index 8cfabba7faa0e22963f2aaf761c9b1a27b230dce..44c75353ca549c9e803d31df46172b74a4f45929 100644 (file)
--- a/src/redis.c
+++ b/src/redis.c
@@ -2185,8 +2185,8 @@ void daemonize(void) {
 }
 
 void version() {
-    printf("Redis server version %s (%s:%d)\n", REDIS_VERSION,
-        redisGitSHA1(), atoi(redisGitDirty()) > 0);
+    printf("Redis server v=%s sha=%s:%d malloc=%s\n", REDIS_VERSION,
+        redisGitSHA1(), atoi(redisGitDirty()) > 0, ZMALLOC_LIB);
     exit(0);
 }