remove redis config

README.dev.md

@@ -2,44 +2,6 @@
 
 Please run `prettier --write .` before you make a commit, or let your IDE handle it.
 
-## Using Redis queue option
-
-By default, the waiting room uses a local queue. To switch to Redis, first:
-Change line of code in server.js
-
-```javascript
-const queue = require("./local-queue.js")
-```
-
-to
-
-```javascript
-const queue = require("./redis-queue.js")
-```
-
-also the queue.\_ commands in server.js need to be awaited. Search the comments for Redis e.g. changing
-
-```javascript
-let queuedUsers = queue.pushAndGetQueue(experimentId, userId)
-```
-
-to
-
-```javascript
-let queuedUsers = await queue.pushAndGetQueue(experimentId, userId)
-```
-
-then run a Redis server e.g. with Docker
-
-```shell
-docker run --detach redis:7.2.4
-```
-
-then rerun the env setup
-
-```shell
-node set_env.js > .env
-```
 
 ## Unit tests
 
@@ -49,4 +11,3 @@ The unit tests can be found in the `test` directory. They use Node.js built-in [
 npm run test
 ```
 
-The current tests are to test the local queue implementation in `local-queue.js`. More tests will be added later.

set-env.js

@@ -80,10 +80,8 @@ function getIps(containers, name) {
 getContainersInfo()
   .then((containers) => {
     const postgresIps = getIps(containers, "postgres")
-    const redisIp = getIps(containers, "redis")
     const otreeIps = getIps(containers, "otree")
     console.log(`POSTGRES_IPS=${postgresIps}`)
-    console.log(`REDIS_HOST=${redisIp}`)
     console.log(`OTREE_IPS=${otreeIps}`)
     console.log(`POSTGRES_USER=${postgresUser}`)
     console.log(`POSTGRES_DB=${postgresDb}`)