From c2067775b395de6a3b94c76f2374623a3ec3e768 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 3 Jun 2014 14:24:00 +0100 Subject: [PATCH] add 2htdp/test port numbers to the list --- pkgs/plt-services/meta/drdr/README-PORTS | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/plt-services/meta/drdr/README-PORTS b/pkgs/plt-services/meta/drdr/README-PORTS index 1463287f2f..1cc80b6ad1 100644 --- a/pkgs/plt-services/meta/drdr/README-PORTS +++ b/pkgs/plt-services/meta/drdr/README-PORTS @@ -10,3 +10,6 @@ others don't accidentally conflict. 9000 - DrDr Web server 9001 - tests/net 9999 - tests/web-server +19200 - 2htdp/tests +... +19209 - 2htdp/tests