Better event handling for browser preview refreshs in Wikipedia plugin

[phpeclipse.git] / net.sourceforge.phpeclipse.launching / src / net / sourceforge / phpdt / internal / launching / PHPInterpreter.java

diff --git a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPInterpreter.java b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPInterpreter.java
index 63accc2..151d5f0 100644 (file)
--- a/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPInterpreter.java
+++ b/net.sourceforge.phpeclipse.launching/src/net/sourceforge/phpdt/internal/launching/PHPInterpreter.java
@@ -43,8 +43,8 @@ public class PHPInterpreter {
                return null;
        }
        
-       public Process exec(String arguments, File workingDirectory) throws IOException {
-               return Runtime.getRuntime().exec(this.getCommand() + " " +  arguments, null, workingDirectory);
+       public Process exec(String arguments, File workingDirectory, String[] env) throws IOException {
+               return Runtime.getRuntime().exec(this.getCommand() + " " +  arguments, env, workingDirectory);
        }
        
        public boolean equals(Object other) {