From de3ddfce714ed75645d38c1efd2eb057914f6d9b Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Tue, 28 Feb 2023 13:28:08 +0100
Subject: [PATCH] Make sure to start server on port 3000

---
 shells/dodona.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shells/dodona.nix b/shells/dodona.nix
index c4e0ade6..2a36deb4 100644
--- a/shells/dodona.nix
+++ b/shells/dodona.nix
@@ -9,7 +9,7 @@ let
   '';
   support-procfile = pkgs.writeText "Procfile.supp" support-procfile-text;
   all-procfile-text = support-procfile-text + ''
-    server: rails s
+    server: rails s -p 3000
   '';
   all-procfile = pkgs.writeText "Procfile.all" all-procfile-text;