From 1501e1ddd1ca759661e739d0da0855a07d342cdf Mon Sep 17 00:00:00 2001
From: gojomo <gojomo@daa5b2f2-a927-0410-8b2d-f5f262fa301a>
Date: Mon, 15 Nov 2010 20:59:45 +0000
Subject: [PATCH] * ScriptResource.java     flush rather than close, avoiding
 console dump

---
 .../main/java/org/archive/crawler/restlet/ScriptResource.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/engine/src/main/java/org/archive/crawler/restlet/ScriptResource.java b/engine/src/main/java/org/archive/crawler/restlet/ScriptResource.java
index 040dc075..dfb2af76 100644
--- a/engine/src/main/java/org/archive/crawler/restlet/ScriptResource.java
+++ b/engine/src/main/java/org/archive/crawler/restlet/ScriptResource.java
@@ -278,6 +278,6 @@ public class ScriptResource extends JobRelatedResource {
                 "page, which offers utility methods</li>\n" +
                 "</ul>");
 
-        pw.close();
+        pw.flush();
     }
 }