From afaea74660679ac7d3af2d5769911c55463c1031 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Fri, 11 Nov 2011 17:07:19 -0500 Subject: [PATCH] patching the manifest creation to allow network stuff --- whalesong-helpers.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/whalesong-helpers.rkt b/whalesong-helpers.rkt index bdde5bd..e29df7a 100644 --- a/whalesong-helpers.rkt +++ b/whalesong-helpers.rkt @@ -233,7 +233,9 @@ (for [(js-name (map file-name-from-path (reverse written-js-paths)))] (fprintf op "~a\n" js-name)) (for [(resource-name written-resources)] - (fprintf op "~a\n" resource-name))) + (fprintf op "~a\n" resource-name)) + (fprintf op "\n# All other resources (e.g. sites) require the user to be online.\nNETWORK:\n*\n")) + #:exists 'replace) (define stop-time (current-inexact-milliseconds))