From f6620d575478b6176c590791d80acafb56ad48d5 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Fri, 17 Jun 2011 13:19:24 -0400
Subject: [PATCH] Close the input port so that the file can be deleted on
 windows.

---
 collects/tests/racket/port.rktl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/tests/racket/port.rktl b/collects/tests/racket/port.rktl
index 521c2d6111..64fe8fa4e0 100644
--- a/collects/tests/racket/port.rktl
+++ b/collects/tests/racket/port.rktl
@@ -670,6 +670,7 @@
       (define in (open-input-file "tmp8"))
       (count-lines! in)
       (check in)
+      (close-input-port in)
       (delete-file "tmp8")))
   (check-all void)
   (check-all port-count-lines!))