diff options
| author | Slava Pestov <slava@factorcode.org> | 2005-01-02 21:31:43 +0000 |
|---|---|---|
| committer | Slava Pestov <slava@factorcode.org> | 2005-01-02 21:31:43 +0000 |
| commit | d0d1b3d4ec7dc7fb0851835edfa65e1de33c6de0 (patch) | |
| tree | a043f06001e724d8c32155d1e8eb25a0b48090e7 | |
| parent | c186fd7b4867c2678ccdc31aead133ff0003487c (diff) | |
Some minor updatesfactor-0-71-b0.71
| -rw-r--r-- | factor/jedit/FactorPlugin.java | 16 | ||||
| -rw-r--r-- | library/tools/listener.factor | 6 |
2 files changed, 15 insertions, 7 deletions
diff --git a/factor/jedit/FactorPlugin.java b/factor/jedit/FactorPlugin.java index d526b237a5..b1b1c583ec 100644 --- 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); } diff --git a/library/tools/listener.factor b/library/tools/listener.factor index 625dbc07e5..683f6ffe81 100644 --- a/library/tools/listener.factor +++ b/library/tools/listener.factor @@ -105,9 +105,9 @@ global [ " (OS: " write os write " CPU: " write cpu write ")" print - "Copyright (C) 2003, 2004 Slava Pestov" print - "Copyright (C) 2004 Chris Double" print - "Copyright (C) 2004 Mackenzie Straight" print + "Copyright (C) 2003, 2005 Slava Pestov" print + "Copyright (C) 2004, 2005 Chris Double" print + "Copyright (C) 2004, 2005 Mackenzie Straight" print "Type ``exit'' to exit, ``help'' for help." print terpri room. |