1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-16 11:21:18 +03:00
Cristian Maglie
2013-08-05 14:59:37 +02:00
parent 1e8e20a66b
commit f65e736a12
4 changed files with 31 additions and 4 deletions

View File

@ -39,6 +39,7 @@ import processing.app.Preferences;
import processing.app.Sketch;
import processing.app.SketchCode;
import processing.app.helpers.PreferencesMap;
import processing.app.helpers.ProcessUtils;
import processing.app.helpers.StringReplacer;
import processing.app.helpers.filefilters.OnlyDirs;
import processing.app.packages.Library;
@ -343,9 +344,8 @@ public class Compiler implements MessageConsumer {
secondErrorFound = false;
Process process;
try {
process = Runtime.getRuntime().exec(command);
process = ProcessUtils.exec(command);
} catch (IOException e) {
RunnerException re = new RunnerException(e.getMessage());
re.hideStackTrace();