Commits

Anonymous committed b965517

Fixed an bug when dealing with a processOutput file that is read only.

  • Participants
  • Parent commits ccb889b

Comments (0)

Files changed (1)

 	 * @param str message to output.
 	 */
 	private void outputMessage(String str) {
+		if (processOutput == null) {
+			System.err.print(Error.getError(12,-1));
+			System.exit(1);
+		}
 		try {
 			processOutput.write(str);
 			processOutput.flush();