From e16510b94d49199f76500a31c8df7336f9371110 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 3 Jun 2014 13:42:36 +0100 Subject: [PATCH] 2htdp/universe tests: try other port numbers Follow-up to 268544d565: it looks like DrDr may itself use port 9000. Try to pick numbers that no one else is thinking of... --- pkgs/htdp-pkgs/htdp-test/2htdp/tests/name.rkt | 2 +- .../htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt | 2 +- pkgs/htdp-pkgs/htdp-test/2htdp/tests/server-rename.rkt | 2 +- pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt | 2 +- pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-receive.rkt | 2 +- pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt | 4 ++-- 6 files changed, 7 insertions(+), 7 deletions(-) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/name.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/name.rkt index 890ccb69f5..d6931b3878 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/name.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/name.rkt @@ -12,7 +12,7 @@ (define c (make-custodian)) ;; Distinct from other tests: -(define PORT-NO 9006) +(define PORT-NO 19206) (define-values (_ n) (parameterize ((current-custodian c)) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt index c08bb90688..6db0d965f8 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt @@ -7,4 +7,4 @@ (on-msg (lambda (w sender msg) (make-bundle w '() '()))) (on-new cons) ;; Distinct from other tests: - (port 9000)) + (port 19207)) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/server-rename.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/server-rename.rkt index a68b246f56..bb1d0939b0 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/server-rename.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/server-rename.rkt @@ -7,4 +7,4 @@ (uni:on-msg list) (uni:on-tick add1) ;; Distinct from other tests: - (uni:port 9004))) + (uni:port 19204))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt index 25fb122bd1..1c677ec5aa 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt @@ -4,7 +4,7 @@ (require 2htdp/universe 2htdp/image) ;; Distinct from other tests: - (define PORT-NO 9003) + (define PORT-NO 19203) (struct s (t) #:prefab) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-receive.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-receive.rkt index b10a4254d1..4f6c05eae8 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-receive.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-receive.rkt @@ -5,7 +5,7 @@ (require 2htdp/image) ;; Distinct from other tests: -(define PORT-NO 9002) +(define PORT-NO 19202) ;; Nat Nat ->* World1 World2 [Listof IWorld] ;; launch a sending world, a receiving world, and a connecting universe diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt index 6b98bacd14..a2adec5d93 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt @@ -4,7 +4,7 @@ (require 2htdp/universe 2htdp/image) ;; Distinct from other tests: - (define PORT-NO 9001) + (define PORT-NO 19201) (define (u) (universe 0 @@ -30,7 +30,7 @@ (require 2htdp/universe 2htdp/image) ;; Distinct from other tests: - (define PORT-NO 9005) + (define PORT-NO 19205) (define *world* #false)