Changeset 4151

Timestamp:

09/30/03 21:35:21 (19 years ago)

Author:

piso

Message:

expandCommand(): enclose expansion of "here" in double quotes if filename
contains an embedded space.

File:

• trunk/j/src/org/armedbear/j/CompilationBuffer.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/CompilationBuffer.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2003 Peter Graves
- * $Id: CompilationBuffer.java,v 1.16 2003-06-12 13:48:29 piso Exp $
+ * $Id: CompilationBuffer.java,v 1.17 2003-09-30 21:35:21 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -219 +219 @@
                                 File file = parentBuffer.getFile();
                                 if (file != null) {
-                                    sb.append(file.canonicalPath());
+                                    String cp = file.canonicalPath();
+                                    if (cp.indexOf(' ') >= 0) {
+                                        // Enclose filename in double quotes
+                                        // since it contains an embedded space.
+                                        sb.append('"');
+                                        sb.append(cp);
+                                        sb.append('"');
+                                    } else
+                                        sb.append(cp);
                                     replaced = true;
                                 }