From d0d1b3d4ec7dc7fb0851835edfa65e1de33c6de0 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sun, 2 Jan 2005 21:31:43 +0000 Subject: [PATCH] Some minor updates --- factor/jedit/FactorPlugin.java | 16 ++++++++++++---- 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. -- 2.34.1