diff options
author | Arun Isaac | 2022-02-17 22:50:20 +0530 |
---|---|---|
committer | Arun Isaac | 2022-02-17 22:53:09 +0530 |
commit | 84a1f972cab8d7976919a65c7bc4e14a76d78d02 (patch) | |
tree | 7786458842d66c0423a24fa9238347ac17c2f13d | |
parent | 25a817bfa97fcb6d202397252e55bba088ead32d (diff) | |
download | genenetwork2-84a1f972cab8d7976919a65c7bc4e14a76d78d02.tar.gz |
bin: Allow for not starting redis.
redis needs to be started and managed as a separate service. We create
a flag NO_REDIS so that it can be so. If NO_REDIS is not defined, the
present behavior of starting redis remains. Thus current use cases are
not broken.
* bin/genenetwork2: Allow for not starting redis with the NO_REDIS
flag.
-rwxr-xr-x | bin/genenetwork2 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/genenetwork2 b/bin/genenetwork2 index a6ba7241..36bf11a6 100755 --- a/bin/genenetwork2 +++ b/bin/genenetwork2 @@ -213,10 +213,12 @@ if [ "$1" = '-gunicorn-prod' ] ; then exit $? fi -echo "Starting the redis server:" -echo -n "dir $TMPDIR +if [ -z "$NO_REDIS" ] ; then + echo "Starting the redis server:" + echo -n "dir $TMPDIR dbfilename gn2.rdb " | redis-server - & +fi # Overrides for packages that are not yet public (currently r-auwerx) # export R_LIBS_SITE=$R_LIBS_SITE:$HOME/.Rlibs/das1i1pm54dj6lbdcsw5w0sdwhccyj1a-r-3.3.2/lib/R/lib |