From f051435f1dc7f1cbf8fdd6ea1e221d20fb57a2b9 Mon Sep 17 00:00:00 2001
From: Starbeamrainbowlabs <sbrl@starbeamrainbowlabs.com>
Date: Mon, 14 Jan 2019 20:06:30 +0000
Subject: [PATCH] Get the development server to serve the correct directory

---
 .gitignore | 1 +
 build      | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4fd4f52..6a2cb2d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 app/
+data/
 # Created by https://www.gitignore.io/api/git
 # Edit at https://www.gitignore.io/?templates=git
 
diff --git a/build b/build
index 1475ca8..0d8c315 100755
--- a/build
+++ b/build
@@ -102,7 +102,7 @@ function task_database {
 
 function task_dev-server {
 	task_begin "Starting development server";
-	php -S [::1]:40482 -t "${build_output_folder}" &
+	php -S [::1]:40482 &
 	exit_code=$?;
 	echo $! >/tmp/micro-lantern-dev-server.pid;
 	task_end $?; # Should be 0 unless php died for some reason