← Back to branch summary

~yrke/tapaal/slimImageIcons-2

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/ProcessRunner.java

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/ProcessRunner.java
65
65
                        return;
66
66
                }
67
67
 
68
 
                BufferDrain stdout = new BufferDrain(new BufferedReader(
69
 
                                new InputStreamReader(process.getInputStream())));
70
 
                BufferDrain stderr = new BufferDrain(new BufferedReader(
71
 
                                new InputStreamReader(process.getErrorStream())));
 
68
                //Wrapping in BufferDrain as windows has really small buffers.
 
69
                BufferDrain stdout = new BufferDrain(new BufferedReader(new InputStreamReader(process.getInputStream())));
 
70
                BufferDrain stderr = new BufferDrain(new BufferedReader(new InputStreamReader(process.getErrorStream())));
72
71
 
73
72
                stdout.start();
74
73
                stderr.start();
89
88
                        return;
90
89
                }
91
90
 
92
 
                bufferedReaderStdout = new BufferedReader(new StringReader(stdout
93
 
                                .getString()));
94
 
                bufferedReaderStderr = new BufferedReader(new StringReader(stderr
95
 
                                .getString()));
 
91
                bufferedReaderStdout = new BufferedReader(new StringReader(stdout.getString()));
 
92
                bufferedReaderStderr = new BufferedReader(new StringReader(stderr.getString()));
96
93
 
97
94
                runningTime = endTimeMs - startTimeMs;
98
95
        }