Method shutdown

app/src/processing/app/Console.java:170–182

Close the streams so that the temporary files can be deleted. File.deleteOnExit() cannot be used because the stdout and stderr files are inside a folder, and have to be deleted before the folder itself is deleted, which can't be guaranteed when using the deleteOnExit() method.

()

   * the deleteOnExit() method.
   */
  static public void shutdown() {
    // replace original streams to remove references to console's streams
    System.setOut(systemOut);
    System.setErr(systemErr);

    cleanup(consoleOut);
    cleanup(consoleErr);

    // also have to close the original FileOutputStream
    // otherwise it won't be shut down completely
    cleanup(stdoutFile);
    cleanup(stderrFile);
  }


  static private void cleanup(OutputStream output) {