Name of method + Trying to make the tests to pass

dafny-lang · Feb 15, 2022 · c6c9e4f · c6c9e4f
1 parent 69d341e
commit c6c9e4f
Showing 1 changed file with 9 additions and 7 deletions.
diff --git a/Source/Dafny/Compilers/Compiler-js.cs b/Source/Dafny/Compilers/Compiler-js.cs
@@ -2378,12 +2378,14 @@ public override bool RunTargetProgram(string dafnyProgramName, string targetProg
  return SendToNewNodeProcess(dafnyProgramName, targetProgramText, callToMain, targetFilename, otherFileNames, outputWriter);
  }
 
- DataReceivedEventHandler ProcessData(TextWriter writer) {
+ DataReceivedEventHandler GetEventHandlerFrom(TextWriter writer) {
  return (sendingProcess, e) => {
- if (!((Process)sendingProcess).HasExited) {
- writer.WriteLine(e.Data);
- } else {
- writer.Write(e.Data);
+ if (e.Data != null) {
+ if (!((Process)sendingProcess).HasExited) {
+ writer.WriteLine(e.Data);
+ } else {
+ writer.Write(e.Data);
+ }
  }
  };
  }
@@ -2402,8 +2404,8 @@ bool SendToNewNodeProcess(string dafnyProgramName, string targetProgramText, str
 
  try {
  Process nodeProcess = new Process { StartInfo = psi };
- nodeProcess.OutputDataReceived += ProcessData(Console.Out);
- nodeProcess.ErrorDataReceived += ProcessData(Console.Error);
+ nodeProcess.OutputDataReceived += GetEventHandlerFrom(Console.Out);
+ nodeProcess.ErrorDataReceived += GetEventHandlerFrom(Console.Error);
  nodeProcess.Start();
  nodeProcess.BeginOutputReadLine();
  nodeProcess.BeginErrorReadLine();