Exemple #1
0
 void Finish()
 {
     if (JenkinsHtml != null)
     {
         if (Options.StdOut != null)
         {
             JenkinsHtml.WriteLine($"<p>Output: {Options.JenkinsStdOutLink}.");
         }
         JenkinsHtml.Flush();
         JenkinsHtml.Dispose();
     }
     if (StdOut != null)
     {
         StdOut.Flush();
         StdOut.Dispose();
     }
 }