OpenGrok
Home
Sort by:
relevance
|
last modified time
|
path
Full Search
in project(s):
src
xsrc
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:redis
(Results
1 - 5
of
5
) sorted by relevancy
/src/external/bsd/unbound/dist/testdata/redis_reconnect_interval.tdir/
redis_reconnect_interval.conf
17
backend:
redis
18
redis
-server-path: @REDIS_SOCKET@
19
redis
-replica-server-path: @REDIS_REPLICA_SOCKET@
21
name: "
redis
.com"
24
zonefile: "
redis
.zone"
redis.conf
6
# If port 0 is specified
Redis
will not listen on a TCP socket.
12
# incoming connections. There is no default, so
Redis
will not listen
18
# By default
Redis
does not run as a daemon. Use 'yes' if you need it.
19
# Note that
Redis
will write a pid file in /var/run/
redis
.pid when daemonized.
20
# When
Redis
is supervised by upstart or systemd, this parameter has no impact.
33
#
Redis
to log on the standard output. Note that if you use standard
62
### Rest of the default
Redis
settings #######################################
86
#
Redis
default starting with
Redis
3.2.1
[
all
...]
/src/external/bsd/unbound/dist/testdata/redis_replica.tdir/
redis_replica.conf
15
backend:
redis
16
redis
-server-path: @REDIS_SOCKET@
17
redis
-replica-server-path: @REDIS_REPLICA_SOCKET@
19
name: "
redis
.com"
22
zonefile: "
redis
.zone"
redis.conf
6
# If port 0 is specified
Redis
will not listen on a TCP socket.
12
# incoming connections. There is no default, so
Redis
will not listen
18
# By default
Redis
does not run as a daemon. Use 'yes' if you need it.
19
# Note that
Redis
will write a pid file in /var/run/
redis
.pid when daemonized.
20
# When
Redis
is supervised by upstart or systemd, this parameter has no impact.
33
#
Redis
to log on the standard output. Note that if you use standard
62
### Rest of the default
Redis
settings #######################################
86
#
Redis
default starting with
Redis
3.2.1
[
all
...]
/src/external/bsd/unbound/dist/contrib/
unbound-querycachedb.py
26
import
redis
27
return
redis
.
Redis
(options.address, int(options.port)).get(key)
51
default='
redis
', help="backend name",
64
if options.backend == '
redis
':
Completed in 27 milliseconds
Indexes created Tue Mar 03 05:31:39 UTC 2026