From 8836b85cb7b4148e2fe307b5b91de56db3e54846 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 10 May 2010 09:49:50 -0400 Subject: [PATCH] fix drdr timeout due to gui window --- collects/meta/props | 2 +- collects/scribble/tools/private/mk-drs-bitmaps.rkt | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/meta/props b/collects/meta/props index 1b1b69e67a..f19de70fb9 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1193,7 +1193,7 @@ path/s is either such a string or a list of them. "collects/scribble" responsible (mflatt eli) "collects/scribble/run.rkt" drdr:command-line "mzc ~s" "collects/scribble/tools/drscheme-buttons.rkt" drdr:command-line "mred-text ~s" -"collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line "mred-text ~s" drdr:timeout 600 +"collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line "gracket-text ~s skip" "collects/scribblings" responsible (mflatt eli robby mathias) "collects/scribblings/foreign/unsafe-foreign.rkt" drdr:command-line "mzc ~s" "collects/scribblings/framework/standard-menus.scrbl" drdr:command-line "" diff --git a/collects/scribble/tools/private/mk-drs-bitmaps.rkt b/collects/scribble/tools/private/mk-drs-bitmaps.rkt index 0e5641d651..db7c5318fc 100644 --- a/collects/scribble/tools/private/mk-drs-bitmaps.rkt +++ b/collects/scribble/tools/private/mk-drs-bitmaps.rkt @@ -66,4 +66,6 @@ (send pdf-bitmap save-file "../pdf.png" 'png) (send html-bitmap save-file "../html.png" 'png)) -(send f show #t) +(match (current-command-line-arguments) + [(vector "skip") (void)] + [_ (send f show #t)])