steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Some minor updates

cvs 0.71
Slava Pestov 2005-01-02 21:31:43 +00:00
parent c186fd7b48
commit d0d1b3d4ec
2 changed files with 15 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
factor/jedit/FactorPlugin.java
View File

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

6
library/tools/listener.factor
View File

@ -105,9 +105,9 @@ global [
" (OS: " write os write " (OS: " write os write
" CPU: " write cpu write " CPU: " write cpu write
")" print ")" print
"Copyright (C) 2003, 2004 Slava Pestov" print "Copyright (C) 2003, 2005 Slava Pestov" print
"Copyright (C) 2004 Chris Double" print "Copyright (C) 2004, 2005 Chris Double" print
"Copyright (C) 2004 Mackenzie Straight" print "Copyright (C) 2004, 2005 Mackenzie Straight" print
"Type ``exit'' to exit, ``help'' for help." print "Type ``exit'' to exit, ``help'' for help." print
terpri terpri
room. room.