diff options
| author | bringert <unknown> | 2005-05-11 13:39:47 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-11 13:39:47 +0000 |
| commit | c3da162360b4a8393ad9a3e02d643466d03bf082 (patch) | |
| tree | 7368494ad585436dc698f96f594d01e8b32bdbba /src | |
| parent | a3ad05ad108fb46e26c29bcc1c3dc35911858680 (diff) | |
Quote and print command in jgf
Diffstat (limited to 'src')
| -rw-r--r-- | src/jgf.in | 3 |
1 files changed, 2 insertions, 1 deletions
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 |