From 7db04b74e2d2af0b3beb87776d417786045dfebc Mon Sep 17 00:00:00 2001 From: eknauel Date: Tue, 11 May 2004 12:03:30 +0000 Subject: [PATCH] kill junk char --- start-surflet-server | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/start-surflet-server b/start-surflet-server index e1a4651..921de27 100755 --- a/start-surflet-server +++ b/start-surflet-server @@ -47,7 +47,7 @@ exec scsh -lel SSAX-4.9/load.scm -lel sunet-2.1/load.scm -dm -o surflet-server - (define (display-usage) (display (usage) (current-error-port)) - (exit 1))1 + (exit 1)) (define default-options `((htdocs-dir . ,(absolute-file-name "root/htdocs"))