From 310d108097747bf8c19f9c3d04913eaa9ffd7458 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Wed, 11 May 2005 13:39:47 +0000
Subject: [PATCH] Quote and print command in jgf

---
 src/jgf.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/jgf.in b/src/jgf.in
index 4a3085192..dc1e551ed 100644
--- a/src/jgf.in
+++ b/src/jgf.in
@@ -33,6 +33,7 @@ if [ ! -x "$GF" ]; then
     exit 1
 fi
 
-COMMAND=$JAVA -jar $JARFILE "$GF -java $*"
+COMMAND="$JAVA -jar $JARFILE '$GF -java $*'"
 
+echo $COMMAND
 exec $COMMAND