From 3c0147bd7c701202f7fbd2bf4982c12b5263f5f7 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 15 Sep 2011 00:59:45 -0400 Subject: [PATCH] Workaround for a gui instantiation problem. --- collects/handin-server/main.rkt | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/handin-server/main.rkt b/collects/handin-server/main.rkt index 80bc696051..2026d5964c 100644 --- a/collects/handin-server/main.rkt +++ b/collects/handin-server/main.rkt @@ -16,7 +16,13 @@ ;; to be done in the main thread, rather than later in a ;; user session thread (that will make the global changes ;; not to be global.) - "sandbox.rkt") + "sandbox.rkt" + ;; workaround for a confusing problem: without this, the gui + ;; gets initialized in a handler (since checks use it, and + ;; they're being required dynamically), and further handlers + ;; will fail with "queue-callback: eventspace is shutdown", + ;; requiring it here makes it avoids killing the eventspace + racket/gui/base) (install-logger-port)