mirror of
https://github.com/element-hq/synapse.git
synced 2024-11-27 03:58:06 +03:00
9a0172d49f
* 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.
22 lines
350 B
Bash
Executable file
22 lines
350 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
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
|
|
echo "servers.pid exists!"
|
|
exit 1
|
|
fi
|
|
|
|
for port in 8080 8081 8082; do
|
|
rm -rf "${DIR:?}/$port"
|
|
rm -rf "$DIR/media_store.$port"
|
|
done
|
|
|
|
rm -rf "${DIR:?}/etc"
|