Some minor updates

[factor.git] / factor / jedit / FactorPlugin.java

diff --git a/factor/jedit/FactorPlugin.java b/factor/jedit/FactorPlugin.java
index d526b237a5b0fe3386a815f56bc46b0f140e776a..b1b1c583ecfeeb01ab05be73736d0feab241ea13 100644 (file)
--- a/factor/jedit/FactorPlugin.java
+++ b/factor/jedit/FactorPlugin.java
@@ -108,17 +108,25 @@ public class FactorPlugin extends EditPlugin
 
                        try
                        {
+                               String exePath = jEdit.getProperty(
+                                       "factor.external.program");
+                               String imagePath = jEdit.getProperty(
+                                       "factor.external.image");
                                List args = new ArrayList();
-                               args.add(jEdit.getProperty("factor.external.program"));
-                               args.add(jEdit.getProperty("factor.external.image"));
+                               args.add(exePath);
+                               args.add(imagePath);
                                args.add("-shell=telnet");
                                args.add("-telnetd-port=" + PORT);
                                String[] extraArgs = jEdit.getProperty(
                                        "factor.external.args")
                                        .split(" ");
                                addNonEmpty(extraArgs,args);
-                               process = Runtime.getRuntime().exec((String[])args.toArray(
-                                       new String[args.size()]));
+                               process = Runtime.getRuntime().exec(
+                                       (String[])args.toArray(
+                                       new String[args.size()]),
+                                       null,
+                                       new File(MiscUtilities
+                                       .getParentOfPath(imagePath)));
 
                                external = new ExternalFactor(PORT);
                        }