Get the development server to serve the correct directory

pull/26/head
Starbeamrainbowlabs 4 years ago
parent 0dcdb9261d
commit f051435f1d
Signed by: sbrl
GPG Key ID: 1BE5172E637709C2

1
.gitignore vendored

@ -1,4 +1,5 @@
app/
data/
# Created by https://www.gitignore.io/api/git
# Edit at https://www.gitignore.io/?templates=git

@ -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

Loading…
Cancel
Save