From 9a0f30edfb957ee60c8b3c979472d0d23e5d0210 Mon Sep 17 00:00:00 2001
From: Midgard <midgard@zeus.ugent.be>
Date: Wed, 8 Jun 2022 18:00:18 +0200
Subject: [PATCH] Remove unused line

---
 rundev.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/rundev.sh b/rundev.sh
index 08fadfa..6d46401 100755
--- a/rundev.sh
+++ b/rundev.sh
@@ -17,5 +17,4 @@ finish() {
 trap finish EXIT
 
 python3 -m "http.server" >/dev/null 2>&1 &
-server_pid=$!
 mitmproxy -s etc/mitm_cors.py -m "reverse:$MATTERMOST_REMOTE"