Delete PID file on dev setup shutdown

dutow · dutow · commit cb528e24f21d · 2025-12-29T14:23:15.000+01:00
diff --git a/Makefile b/Makefile
@@ -13,6 +13,7 @@ dev-prod-detach: ## Start dev stack but run Rails in production mode (uses dev c
 
 down: ## Stop dev stack
 	$(COMPOSE) down
+	rm -f tmp/pids/server.pid
 
 shell: ## Open a shell in the web container
 	$(COMPOSE) exec web bash
