# HG changeset patch
# User wenzelm
# Date 1219955182 -7200
# Node ID 18dbe34f6c5de236d56b0c61dcf06e3a94b35c1c
# Parent  eb855c3db6571449336aea668410815a50041857
moved charset to isabelle_system.scala;
IsabelleSystem.fifo_reader;

diff -r eb855c3db657 -r 18dbe34f6c5d src/Pure/Tools/isabelle_process.scala
--- a/src/Pure/Tools/isabelle_process.scala	Thu Aug 28 22:26:21 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.scala	Thu Aug 28 22:26:22 2008 +0200
@@ -11,16 +11,13 @@
 import java.util.Properties
 import java.util.concurrent.LinkedBlockingQueue
 import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter,
-  InputStream, OutputStream, FileInputStream, IOException}
+  InputStream, OutputStream, IOException}
 
 import isabelle.{Symbol, XML}
 
 
 object IsabelleProcess {
 
-  private val charset = "UTF-8"
-
-
   /* results */
 
   object Kind extends Enumeration {
@@ -176,7 +173,7 @@
 
   private class StdinThread(out_stream: OutputStream) extends Thread("isabelle: stdin") {
     override def run() = {
-      val writer = new BufferedWriter(new OutputStreamWriter(out_stream, charset))
+      val writer = new BufferedWriter(new OutputStreamWriter(out_stream, IsabelleSystem.charset))
       var finished = false
       while (!finished) {
         try {
@@ -206,7 +203,7 @@
 
   private class StdoutThread(in_stream: InputStream) extends Thread("isabelle: stdout") {
     override def run() = {
-      val reader = new BufferedReader(new InputStreamReader(in_stream, charset))
+      val reader = new BufferedReader(new InputStreamReader(in_stream, IsabelleSystem.charset))
       var result = new StringBuilder(100)
 
       var finished = false
@@ -244,7 +241,7 @@
 
   private class MessageThread(fifo: String) extends Thread("isabelle: messages") {
     override def run() = {
-      val reader = new BufferedReader(new InputStreamReader(new FileInputStream(fifo), charset))
+      val reader = IsabelleSystem.fifo_reader(fifo)
       var kind: Kind.Value = null
       var props: Properties = null
       var result = new StringBuilder
@@ -344,7 +341,8 @@
     val fifo =
       try {
         val mkfifo = IsabelleSystem.exec(List(IsabelleSystem.getenv_strict("ISATOOL"), "mkfifo"))
-        val fifo = new BufferedReader(new InputStreamReader(mkfifo.getInputStream, charset)).readLine
+        val fifo = new BufferedReader(new
+          InputStreamReader(mkfifo.getInputStream, IsabelleSystem.charset)).readLine
         if (mkfifo.waitFor == 0) fifo
         else error("Failed to create message fifo")
       }