From f605cdc8be5687937e3cce1e99a712f7d1aa8fe0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20M=C3=BCller?= <mail@mueller-martin.net>
Date: Thu, 27 Jul 2017 17:18:49 +0200
Subject: [PATCH] Add shell script for development server

---
 devserver.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 devserver.sh

diff --git a/devserver.sh b/devserver.sh
new file mode 100755
index 0000000..460b9de
--- /dev/null
+++ b/devserver.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+basedir=$(dirname "$0")
+
+if [ ! -d "$basedir/py" ]; then
+	echo "Directory \"py\" with a Python virtual environment"
+	echo "does not exist. See README.rst on how to set it up."
+else
+	export FLASK_DEBUG=1
+	export FLASK_APP="$basedir/soundboard.py"
+	"$basedir"/py/bin/flask run
+fi