From 1685340d99e8072282654415c2d2aaa975627796 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 26 Aug 2007 14:45:17 +0000 Subject: [PATCH] re-added shutdown svn: r7180 --- collects/help/help-desk-server.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/help-desk-server.ss b/collects/help/help-desk-server.ss index c9dad64b58..0fd3058e9a 100644 --- a/collects/help/help-desk-server.ss +++ b/collects/help/help-desk-server.ss @@ -40,6 +40,6 @@ (printf "Press enter to shutdown.\n") (read-line) -;(shutdown) +(shutdown) )