diff options
| author | Patrick Cloke <clokep@users.noreply.github.com> | 2022-03-08 15:02:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-08 15:02:59 -0500 |
| commit | 9a0172d49f3da46c615304c7df3353494500fd49 (patch) | |
| tree | 067bd43f8c087df6f0c4f5d2c8eb056965fff500 /demo/clean.sh | |
| parent | Use `ParamSpec` in type hints for `synapse.logging.context` (#12150) (diff) | |
| download | synapse-9a0172d49f3da46c615304c7df3353494500fd49.tar.xz | |
Clean-up demo scripts & documentation (#12143)
* Rewrites the demo documentation to be clearer, accurate, and moves it to our documentation tree. * Improvements to the demo scripts: * `clean.sh` now runs `stop.sh` first to avoid zombie processes. * Uses more modern Synapse configuration (and removes some obsolete configuration). * Consistently use the HTTP ports for server name, etc. * Remove the `demo/etc` directory and place everything into the `demo/808x` directories.
Diffstat (limited to 'demo/clean.sh')
| -rwxr-xr-x | demo/clean.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/demo/clean.sh b/demo/clean.sh index e9b440d90d..7f1e192021 100755 --- a/demo/clean.sh +++ b/demo/clean.sh @@ -4,6 +4,9 @@ set -e DIR="$( cd "$( dirname "$0" )" && pwd )" +# Ensure that the servers are stopped. +$DIR/stop.sh + PID_FILE="$DIR/servers.pid" if [ -f "$PID_FILE" ]; then |