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