Kelder/feathermost
32
0
Fork 0
Code Issues 8 Pull requests Projects Releases Packages Wiki Activity

Improve rundev script

Browse source 
Kill server when exiting MITM
This commit is contained in:
Midgard 2020-03-25 22:28:22 +01:00
parent 5fd8101224
commit 190663a253
Signed by: midgard
GPG key ID: 511C112F1331BBB4
1 changed files with 12 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
rundev.sh
View file

@ -1,14 +1,25 @@
#!/bin/bash #!/bin/bash
# Config
MATTERMOST_REMOTE="https://mattermost.zeus.gent" MATTERMOST_REMOTE="https://mattermost.zeus.gent"
set -euo pipefail
cd "$(dirname "$0")"
if [[ $MATTERMOST_REMOTE == */ ]]; then if [[ $MATTERMOST_REMOTE == */ ]]; then
echo "MATTERMOST_REMOTE should not end with a slash (it should only the protocol and the domain; no path)" >&2 echo "MATTERMOST_REMOTE should not end with a slash (it should only the protocol and the domain; no path)" >&2
exit 1 exit 1
fi fi
cd "$(dirname "$0")" server_pid=0
finish() {
if [[ $server_pid -gt 1 ]]; then kill "$server_pid" || true; server_pid=0; fi
}
trap finish EXIT
python3 -m "http.server" >/dev/null 2>&1 & python3 -m "http.server" >/dev/null 2>&1 &
server_pid=$!
mitmproxy -s etc/mitm_cors.py -m "reverse:$MATTERMOST_REMOTE" mitmproxy -s etc/mitm_cors.py -m "reverse:$MATTERMOST_REMOTE"